LEADER 05071nam 22007815 450 001 996465983903316 005 20230619182023.0 010 $a3-642-36157-9 024 7 $a10.1007/978-3-642-36157-9 035 $a(CKB)3400000000102980 035 $a(SSID)ssj0000880021 035 $a(PQKBManifestationID)11509150 035 $a(PQKBTitleCode)TC0000880021 035 $a(PQKBWorkID)10873609 035 $a(PQKB)10409838 035 $a(DE-He213)978-3-642-36157-9 035 $a(MiAaPQ)EBC3068803 035 $a(PPN)168329840 035 $a(EXLCZ)993400000000102980 100 $a20130107d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation$b[electronic resource] $e22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /$fedited by José L. Ayala, Delong Shang, Alex Yakovlev 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (IX, 258 p. 150 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7606 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-36156-0 320 $aIncludes bibliographical references and index. 327 $aSleep-Transistor Based Power-Gating Tradeoff Analyses -- Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level with SystemC -- A Standard Cell Optimization Method for Near-Threshold Voltage Operations -- An Extended Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths -- Noise Margin Based Library Optimization Considering Variability in Sub-threshold -- TCP Window Based DVFS for Low Power Network Controller SoC -- A Generic Architecture for Robust Asynchronous Communication Links -- Direct Statistical Simulation of Timing Properties in Sequential Circuits -- On-Chip NBTI and PBTI Tracking through an All-Digital Aging Monitor Architecture -- Two-Phase MOBILE Interconnection Schemes for Ultra-Grain Pipeline Applications -- Design of a 150 mV Supply, 2 MIPS, 90nm CMOS, Ultra-Low-Power Microprocessor -- Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation -- Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines -- Dynamic Power Management of a Computer with Self Power-Managed Components -- Case Studies of Logical Computation on Stochastic Bit Streams. 330 $aThis book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems, including reconfigurable hardware such as FPGAs. The technical program focus on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7606 606 $aElectronic digital computers?Evaluation 606 $aComputer simulation 606 $aComputer networks 606 $aComputer hardware description languages 606 $aLogic design 606 $aCompilers (Computer programs) 606 $aSystem Performance and Evaluation 606 $aComputer Modelling 606 $aComputer Communication Networks 606 $aRegister-Transfer-Level Implementation 606 $aLogic Design 606 $aCompilers and Interpreters 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer simulation. 615 0$aComputer networks. 615 0$aComputer hardware description languages. 615 0$aLogic design. 615 0$aCompilers (Computer programs). 615 14$aSystem Performance and Evaluation. 615 24$aComputer Modelling. 615 24$aComputer Communication Networks. 615 24$aRegister-Transfer-Level Implementation. 615 24$aLogic Design. 615 24$aCompilers and Interpreters. 676 $a004.24 702 $aAyala$b José L$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aShang$b Delong$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYakovlev$b Alex$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465983903316 996 $aIntegrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation$9772134 997 $aUNISA LEADER 02615 am 2200613 n 450 001 9910554600203321 005 20220202 010 $a2-35768-148-9 024 7 $a10.4000/books.eua.5232 035 $a(CKB)4100000012812535 035 $a(FrMaCLE)OB-eua-5232 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/85377 035 $a(PPN)261978128 035 $a(EXLCZ)994100000012812535 100 $a20220330j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRome : éduquer et combattre $eUn florilège en forme d'hommages /$fCatherine Wolff 210 $aAvignon $cÉditions Universitaires d?Avignon$d2022 215 $a1 online resource (360 p.) 225 1 $aEn-Jeux 311 $a2-35768-147-0 330 $aComment l?armée romaine s?est-elle donné les moyens de sa puissance?? La réponse est plus complexe qu?il n?y paraît : il a fallu apprendre à en recruter les hommes, à les former, à les éduquer et à leur enseigner ce qu?être soldat pouvait signifier. C?est un vrai enjeu de civilisation qu?explore ici Catherine Wolff, professeur émérite d?histoire romaine à l?université d?Avignon. Une histoire faite de réussites et d?échecs, qui montre aussi les limites de la « grandeur » militaire de Rome. Ce livre est tout à la fois un itinéraire qui touche aux fondamentaux de la civilisation romaine et un parcours retraçant plus de vingt ans de recherches. Ce volume est aussi un florilège en forme d?hommages provenant d?amis et de collègues qui disent leur bonheur d?avoir cheminé en compagnie de Catherine Wolff. 517 $aRome 606 $aHistory 606 $aancient history 606 $aancient rome 606 $aroman army 606 $aarmée romaine 606 $ahistoire ancienne 606 $arome antique 610 $aancient history 610 $aancient rome 610 $aroman army 615 4$aHistory 615 4$aancient history 615 4$aancient rome 615 4$aroman army 615 4$aarmée romaine 615 4$ahistoire ancienne 615 4$arome antique 700 $aWolff$b Catherine$0257156 701 $aCabouret$b Bernadette$01288005 701 $aCastelnuovo$b Guido$0324512 701 $aCabouret$b Bernadette$01288005 701 $aCastelnuovo$b Guido$0324512 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910554600203321 996 $aRome : éduquer et combattre$93035294 997 $aUNINA