Zoekresultaten
Resultaat 141 - 160 (van 642)
Input/output in parallel and distributed computer systems
Non-fictie
Engels | 395 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
Robin Sahner | Kishor Shridharbhai Trivedi | Antonio Puliafito Performance and reliability analysis of computer systems
an example-based approach using the SHARPE software package
Non-fictie
Engels | 404 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1996
Gedrukt boek
Quality of communication-based systems
Non-fictie
Engels | 195 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
Technische Universiteit A worldwide flock of Condors
load sharing among workstation clusters
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
I. Polak A proof-checked verification of a real-time communication protocol
Non-fictie
Engels | 26 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Jan van Katwijk | Hans Toetenel Experiences using PAISLey for real-time specification
Non-fictie
Engels | 28 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
J.P.M. Voeten POOSL: an object-oriented specification language for the analysis and design of hardware/software systems
Non-fictie
Engels | 40 pagina's | Eindhoven University of Technology, Faculty of Electrical Engineering, Eindhoven | 1995
Gedrukt boek
K.R. Pattipati | Y. Li | H.A.P. Blom A unified framework for the performability evaluation of fault-tolerant computer systems
Non-fictie
Engels | 16 pagina's | NLR, Amsterdam | 1995
Gedrukt boek
Arno Jacob Klaassen Computing with cables: toward massively parallel neuro computers
Non-fictie
Engels | 143 pagina's | Delft University Press, Delft | 1992
Gedrukt boek
Foundations of dependable computing
Non-fictie
Engels | 264 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Foundations of dependable computing
Non-fictie
Engels | 214 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
Centrum voor Wiskunde en Informatica Randomized wait-free naming
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
P. Zhou | J. Hooman Formal specification and compositional verification of an atomic broadcast protocol
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
M. Papatriantafilou | P. Tsigas How a rainbow coloring function can simulate wait-free handshaking
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
M. Papatriantafilou | P. Tsigas Self-stabilizing wait-free clock synchronization
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
John Romein | H.E. Bal Parallel N-body simulation on a large-scale homogeneous distributed system
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
J. Hooman Correctness of real time systems by construction
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
Wim H. Hesselink | Ronald M. Tol Formal feasibility conditions for earliest deadline first scheduling
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1994
Gedrukt boek
Responsive computing
Non-fictie
Engels | 103 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
L. Zhang | Jan van Katwijk A viewpoint oriented design methodology for multi-processor real-time systems
Non-fictie
Engels | 26 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek