Author: Krzysztof Kuchcinski
Publisher:
ISBN:
Category : Microprocessors
Languages : en
Pages : 667
Book Description
EUROMICRO 96
Author: Krzysztof Kuchcinski
Publisher:
ISBN:
Category : Microprocessors
Languages : en
Pages : 667
Book Description
Publisher:
ISBN:
Category : Microprocessors
Languages : en
Pages : 667
Book Description
Application and Theory of Petri Nets 2000
Author: Mogens Nielsen
Publisher: Springer
ISBN: 3540449884
Category : Computers
Languages : en
Pages : 492
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.
Publisher: Springer
ISBN: 3540449884
Category : Computers
Languages : en
Pages : 492
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.
Proceedings of the 26th Euromicro Conference, Maastricht, the Netherlands, September 5-7, 2000
Author:
Publisher:
ISBN: 9780769507804
Category :
Languages : en
Pages : 477
Book Description
Publisher:
ISBN: 9780769507804
Category :
Languages : en
Pages : 477
Book Description
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
Author: Erwin Rathgeb
Publisher: Springer Science & Business Media
ISBN: 3642121039
Category : Computers
Languages : en
Pages : 333
Book Description
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Publisher: Springer Science & Business Media
ISBN: 3642121039
Category : Computers
Languages : en
Pages : 333
Book Description
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Author: Jens B. Schmitt
Publisher: Springer Science & Business Media
ISBN: 3642285392
Category : Computers
Languages : en
Pages : 343
Book Description
This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Publisher: Springer Science & Business Media
ISBN: 3642285392
Category : Computers
Languages : en
Pages : 343
Book Description
This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Real-Time Programming 2004
Author: Matjaž Colnarič
Publisher: Elsevier
ISBN: 9780080445823
Category : Computers
Languages : en
Pages : 166
Book Description
This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field. Contents include: * DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS * REAL-TIME PROGRAMMING TECHNIQUES * SOFTWARE REQUIREMENT ENGINEERING * CONTROL SYSTEMS DESIGN * SOFTWARE DESIGN * SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS
Publisher: Elsevier
ISBN: 9780080445823
Category : Computers
Languages : en
Pages : 166
Book Description
This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field. Contents include: * DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS * REAL-TIME PROGRAMMING TECHNIQUES * SOFTWARE REQUIREMENT ENGINEERING * CONTROL SYSTEMS DESIGN * SOFTWARE DESIGN * SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS
Proceedings of the 26th Euromicro Conference
Author: Ferenc Vajda
Publisher:
ISBN: 9780769507804
Category : Computer architecture
Languages : en
Pages : 498
Book Description
Publisher:
ISBN: 9780769507804
Category : Computer architecture
Languages : en
Pages : 498
Book Description
12th Euromicro Conference on Real-Time Systems
Author:
Publisher: IEEE
ISBN: 9780769507347
Category : Computers
Languages : en
Pages : 281
Book Description
Contains papers from a June 2000 conference reporting on the latest developments in real-time computing, organized in sections on scheduling, real-time databases, timing analysis, real-time object-oriented design, scheduling and control, real-time model checking, clock synchronization, and real-time
Publisher: IEEE
ISBN: 9780769507347
Category : Computers
Languages : en
Pages : 281
Book Description
Contains papers from a June 2000 conference reporting on the latest developments in real-time computing, organized in sections on scheduling, real-time databases, timing analysis, real-time object-oriented design, scheduling and control, real-time model checking, clock synchronization, and real-time
EUROMICRO 96
Author: Peter Milligan
Publisher:
ISBN:
Category : Microprocessors
Languages : en
Pages : 694
Book Description
Publisher:
ISBN:
Category : Microprocessors
Languages : en
Pages : 694
Book Description
Parallel Processing and Applied Mathematics
Author: Roman Wyrzykowski
Publisher: Springer
ISBN: 3540480862
Category : Computers
Languages : en
Pages : 900
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001. The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.
Publisher: Springer
ISBN: 3540480862
Category : Computers
Languages : en
Pages : 900
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001. The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.