Concurrency and Hardware Design [[electronic resource] ] : Advances in Petri Nets / / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 346 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer hardware Computer organization Computers Mathematical logic 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 |
ISBN | 3-540-36190-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal 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. |
Record Nr. | UNISA-996465748003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Concurrency and Hardware Design : Advances in Petri Nets / / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 346 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer hardware Computer organization Computers Mathematical logic 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 |
ISBN | 3-540-36190-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal 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. |
Record Nr. | UNINA-9910143889003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated circuit and system design : power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012 : revised selected papers / / Jose L. Ayala, Delong Shang, Alex Yakovlev (eds.) |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | New York, : Springer, 2013 |
Descrizione fisica | 1 online resource (IX, 258 p. 150 illus.) |
Disciplina | 004.24 |
Altri autori (Persone) |
AyalaJose L
ShangDelong YakovlevAlex |
Collana |
Lecture notes in computer science
LNCS sublibrary |
Soggetto topico | Integrated circuits - Very large scale integration - Computer-aided design |
ISBN | 3-642-36157-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sleep-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. |
Record Nr. | UNINA-9910484142403321 |
New York, : Springer, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [[electronic resource] ] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / / edited by José L. Ayala, Delong Shang, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (IX, 258 p. 150 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer simulation Computer networks Computer hardware description languages Logic design Compilers (Computer programs) System Performance and Evaluation Computer Modelling Computer Communication Networks Register-Transfer-Level Implementation Logic Design Compilers and Interpreters |
ISBN | 3-642-36157-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sleep-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. |
Record Nr. | UNISA-996465983903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Petri Nets and Other Models of Concurrency - ICATPN 2007 [[electronic resource] ] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / / edited by Jetty Kleijn, Alex Yakovlev |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (524 p.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Discrete mathematics Computer networks Microprocessors Computer architecture Operating systems (Computers) Theory of Computation Software Engineering Discrete Mathematics in Computer Science Computer Communication Networks Processor Architectures Operating Systems |
ISBN | 3-540-73094-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous Distributed System and Its Realization by Multi Agent Nets -- Petri Nets Without Tokens -- Toward Specifications for Reconfigurable Component Systems -- Generating Petri Net State Spaces -- Full Papers -- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms -- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants -- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems -- From Many Places to Few: Automatic Abstraction Refinement for Petri Nets -- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms -- History-Dependent Petri Nets -- Complete Process Semantics for Inhibitor Nets -- Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- Combining Decomposition and Unfolding for STG Synthesis -- Object Nets for Mobility -- Web Service Orchestration with Super-Dual Object Nets -- Synthesis of Elementary Net Systems with Context Arcs and Localities -- Nets with Tokens Which Carry Data -- Operating Guidelines for Finite-State Services -- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios -- Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery -- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets -- Name Creation vs. Replication in Petri Net Systems -- Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures -- The ComBack Method – Extending Hash Compaction with Backtracking -- Computing Minimal Elements of Upward-Closed Sets for Petri Nets -- Tool Papers -- ProM 4.0: Comprehensive Support for Real Process Analysis -- dmcG: A Distributed Symbolic Model Checker Based on GreatSPN -- Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. |
Record Nr. | UNISA-996466264303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Petri Nets and Other Models of Concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / / edited by Jetty Kleijn, Alex Yakovlev |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (524 p.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Discrete mathematics Computer networks Microprocessors Computer architecture Operating systems (Computers) Theory of Computation Software Engineering Discrete Mathematics in Computer Science Computer Communication Networks Processor Architectures Operating Systems |
ISBN | 3-540-73094-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous Distributed System and Its Realization by Multi Agent Nets -- Petri Nets Without Tokens -- Toward Specifications for Reconfigurable Component Systems -- Generating Petri Net State Spaces -- Full Papers -- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms -- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants -- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems -- From Many Places to Few: Automatic Abstraction Refinement for Petri Nets -- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms -- History-Dependent Petri Nets -- Complete Process Semantics for Inhibitor Nets -- Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- Combining Decomposition and Unfolding for STG Synthesis -- Object Nets for Mobility -- Web Service Orchestration with Super-Dual Object Nets -- Synthesis of Elementary Net Systems with Context Arcs and Localities -- Nets with Tokens Which Carry Data -- Operating Guidelines for Finite-State Services -- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios -- Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery -- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets -- Name Creation vs. Replication in Petri Net Systems -- Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures -- The ComBack Method – Extending Hash Compaction with Backtracking -- Computing Minimal Elements of Upward-Closed Sets for Petri Nets -- Tool Papers -- ProM 4.0: Comprehensive Support for Real Process Analysis -- dmcG: A Distributed Symbolic Model Checker Based on GreatSPN -- Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. |
Record Nr. | UNINA-9910484838503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on Petri Nets and Other Models of Concurrency IX [[electronic resource] /] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-662-45730-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
Record Nr. | UNISA-996211261603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency IX / / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-662-45730-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
Record Nr. | UNINA-9910484597703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on Petri Nets and Other Models of Concurrency VIII [[electronic resource] /] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 203 p. 85 illus.) |
Disciplina | 005.1 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-642-40465-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. |
Record Nr. | UNISA-996465945303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency VIII / / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 203 p. 85 illus.) |
Disciplina | 005.1 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-642-40465-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. |
Record Nr. | UNINA-9910483121703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|