LEADER 05346nam 22007935 450 001 9910143889003321 005 20200706032008.0 010 $a3-540-36190-1 024 7 $a10.1007/3-540-36190-1 035 $a(CKB)1000000000211886 035 $a(SSID)ssj0000322228 035 $a(PQKBManifestationID)11233022 035 $a(PQKBTitleCode)TC0000322228 035 $a(PQKBWorkID)10282831 035 $a(PQKB)11360752 035 $a(DE-He213)978-3-540-36190-9 035 $a(MiAaPQ)EBC3073362 035 $a(PPN)155183419 035 $a(EXLCZ)991000000000211886 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConcurrency and Hardware Design $eAdvances in Petri Nets /$fedited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 346 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2549 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-00199-9 320 $aIncludes bibliographical references and index. 327 $aFormal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic Blocks -- Asynchronous Circuits -- GALA (Globally Asynchronous ? Locally Arbitrary) Design -- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design -- Decomposition in Asynchronous Circuit Design -- Embedded System Design -- Functional and Performance Modeling of Concurrency in VCC -- Modeling and Designing Heterogeneous Systems -- Timed Verification and Performance Analysis -- Timed Verification of Asynchronous Circuits -- Performance Analysis of Asynchronous Circuits Using Markov Chains. 330 $aAs CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon ?real estate? rocket to billions of dollars that have to be spent on design, veri?cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single-?- quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies? Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di?erent scienti?c communities. The bridges must be built very quickly, and be maximally ?exible to accommodate changes taking place in a logarithmic timescale. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2549 606 $aSoftware engineering 606 $aComputer hardware 606 $aComputer organization 606 $aComputers 606 $aMathematical logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer hardware. 615 0$aComputer organization. 615 0$aComputers. 615 0$aMathematical logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Hardware. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 676 $a004/.35 702 $aCortadella$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYakovlev$b Alex$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143889003321 996 $aConcurrency and hardware design$9953831 997 $aUNINA