Zoekresultaten
Resultaat 141 - 160 (van 641)
Input/output in parallel and distributed computer systems
Non-fictie
Engels | 395 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1996
Gedrukt boek
T. Arts | J. Giesl Automatically proving termination where simplification orderings fail
Non-fictie
Engels | 34 pagina's | Department of Computer Science, Utrecht University, Utrecht | 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
Vijay K. Garg Principles of distributed systems
Non-fictie
Engels | 254 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
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
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
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
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
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
Mahir Faik Karaaba Face recognition in low-resolution images under small sample conditions with face-part detection and alignment
Non-fictie
Engels | 123 pagina's | University of Groningen, [Groningen] | 2016
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
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
Centrum voor Wiskunde en Informatica Randomized wait-free naming
Non-fictie
Engels | 13 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
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
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