Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Parallel processing (Electronic computers) --- Electronic digital computers --- Petri nets --- Design and construction --- Petri nets. --- Design and construction. --- Computer science. --- Computer hardware. --- Computer organization. --- Software engineering. --- Computers. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Hardware. --- Computer Systems Organization and Communication Networks. --- Software Engineering. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Organization, Computer --- Informatics --- Science --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Graph theory --- Nets (Mathematics) --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Electronic digital computers - Design and construction --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume consists of the proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of c- currency. They provide a forum for researchers to present and discuss both applications and theoretical developments in this area. Novel tools and s- stantial enhancements to existing tools can also be presented. In addition, the conferences always welcome a range of invited talks that survey related - mains, as well as satellite events such as tutorials and workshops.The 2007 c- ference had ?ve invited speakers, two advanced tutorials, and ?ve workshops. Detailed information about ICATPN 2007 and the related events can be found at http://atpn2007.ap.siedlce.pl/. The ICATPN 2007 conference was organized by the Institute of Computer ScienceattheUniversityofPodlasieandtheInstituteofComputerScienceofthe PolishAcademyof Sciences. It tookplace in Siedlce, Poland,during June 25-29, 2007. We would like to express our deep thanks to the Organizing Committee, chaired by Wojciech Penczek, for the time and e?ort invested in the conference, and to Andrzej Barczak, for all his help with local organization. We are also grateful to the O?ces of the Siedlce County Governor and Siedlce City Mayor for their suppport of the local organization.

Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 9th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013) and the 13th International Conference on Application of Concurrency to System Design (ACSD 2013). It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.

Logic --- Computer science --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- software engineering --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This 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.

Engineering & Applied Sciences --- Computer Science --- Integrated circuits --- Very large scale integration --- Computer-aided design --- Computer science. --- Logic design. --- Microprocessors. --- Computer communication systems. --- Computer system failures. --- Programming languages (Electronic computers). --- Computer simulation. --- Computer Science. --- System Performance and Evaluation. --- Simulation and Modeling. --- Computer Communication Networks. --- Register-Transfer-Level Implementation. --- Logic Design. --- Programming Languages, Compilers, Interpreters. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Minicomputers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Failures --- Distributed processing --- Computer system performance. --- Electronic digital computers—Evaluation. --- Computer networks. --- Computer hardware description languages. --- Compilers (Computer programs). --- Computer Modelling. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Hardware description languages, Computer --- Languages, Computer hardware description --- Electronic digital computers --- Design and construction --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Petri nets --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congresses --- Congrès --- Computer multitasking -- Congresses. --- Electronic books. -- local. --- Petri nets -- Congresses. --- Computer multitasking --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer Science --- Algebra --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Computer Communication Networks. --- Processor Architectures. --- Operating Systems. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Minicomputers --- Informatics --- Science --- Operating systems --- Distributed processing --- Information theory. --- Computational complexity. --- Communication theory --- Communication --- Complexity, Computational --- Computer science—Mathematics. --- Discrete mathematics. --- Computer networks. --- Computer architecture. --- Architecture, Computer --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Operating systems (Computers)