MPG.eBooks - Search Results

Cover Image

1

Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings

by Bondavalli, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proce...

by Chico, Jorge Juan
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

by Lemos, Rogério le
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Queueing Networks with Discrete Time Scale : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks

by Daduna, Hans
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

5

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

6

Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedin...

by Alfaro, Luca
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

7

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

by Pflanz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS

by Deprettere, Ed F
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

9

Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings

by Field, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

10

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proce...

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings

by Hochet, Bertrand
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

Web Engineering and Peer-to-Peer Computing : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers

by Gregori, Enrico
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

13

Performance Evaluation of Complex Systems: Techniques and Tools : Performance 2002 Tutorial Lectures

by Calzarossa, Maria Carla
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

14

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

Computer Performance Evaluation.Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

by Haverkort, Boudewijn R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

16

Computer Performance Evaluation : Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings

by Puigjaner, Ramon
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

17

Hybrid Systems: Computation and Control : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings

by Vaandrager, Frits W
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

18

Performance Evaluation: Origins and Directions

by Haring, Günter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

19

Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks : IFIP-TC6European Commission International Conference Paris, Franc...

by Pujolle, Guy
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

20

Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings

by Soudris, Dimitrios
Published 2000

Springer-Verlag Berlin Heidelberg

1
2