Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009103428/catalog> ?p ?o. }

• catalog abstract "As 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.".
• catalog contributor b12819551.
• catalog contributor b12819552.
• catalog contributor b12819553.
• catalog created "2002.".
• catalog date "2002".
• catalog date "2002.".
• catalog dateCopyrighted "2002.".
• catalog description "As 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.".
• catalog description "Composing snippets / Igor Benko and Jo Ebergen -- A programming approach to the design of asynchronous logic blocks / Mark B. Josephs and Dennis P. Furey -- GALA (Globally Asynchronous -- Locally Arbitrary) design / Victor Varshavsky and Vyacheslav Marakhovsky -- Synthesis of reactive systems / Josep Carmona, Jordi Cortadella, and Enric Pastor -- Decomposition in asynchronous circuit design / Walter Vogler and Ralf Wollowski -- Functional and performance modeling of concurrency in VCC / William LaRue, Sherry Solden, and Bishnupriya Bhattacharya -- Modeling and designing heterogeneous systems / Felice Balarin . [and others] -- Timed verification of asynchronous circuits / Jesper Moller, Henrik Hulgaard, and Henrik Reif Andersen -- Performance analysis of asynchronous circuits using Markov chains / Peter A. Beerel and Aiguo Xie.".
• catalog description "Includes bibliographical references and index.".
• catalog extent "ix, 343 p. :".
• catalog identifier "3540001999 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2549".
• catalog issued "2002".
• catalog issued "2002.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "004/.35 21".
• catalog subject "Computer hardware.".
• catalog subject "Computer network architectures.".
• catalog subject "Computer science.".
• catalog subject "Electronic digital computers Design and construction.".
• catalog subject "Electronics.".
• catalog subject "Parallel processing (Electronic computers)".
• catalog subject "Petri nets.".
• catalog subject "QA76.58 .C662 2002".
• catalog subject "Software engineering.".
• catalog tableOfContents "Composing snippets / Igor Benko and Jo Ebergen -- A programming approach to the design of asynchronous logic blocks / Mark B. Josephs and Dennis P. Furey -- GALA (Globally Asynchronous -- Locally Arbitrary) design / Victor Varshavsky and Vyacheslav Marakhovsky -- Synthesis of reactive systems / Josep Carmona, Jordi Cortadella, and Enric Pastor -- Decomposition in asynchronous circuit design / Walter Vogler and Ralf Wollowski -- Functional and performance modeling of concurrency in VCC / William LaRue, Sherry Solden, and Bishnupriya Bhattacharya -- Modeling and designing heterogeneous systems / Felice Balarin . [and others] -- Timed verification of asynchronous circuits / Jesper Moller, Henrik Hulgaard, and Henrik Reif Andersen -- Performance analysis of asynchronous circuits using Markov chains / Peter A. Beerel and Aiguo Xie.".
• catalog title "Concurrency and hardware design : advances in Petri nets / Jordi Cortadella, Alex Yakovlev, Gezegorz Rozenberg (eds.)".
• catalog type "text".