Cover Image

Concurrency in Dependable Computing /

Show other versions (1)

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability...

Full description

Bibliographic Details
Main Author:	Ezhilchelvan, P. (Paul)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Romanovsky, Alexander
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Subjects:	Computer science. Data structures (Computer science) Electronic data processing. Text processing (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Mining Very Large Databases with Parallel Processing /
by: Freitas, Alex A.
Published: (2000)

Parallel and Distributed Information Systems /
by: Naughton, Jeffrey F.
Published: (1998)

Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA /
by: Smith, Scott F.
Published: (2000)

Open Multithreaded Transactions : A Transaction Model for Concurrent Object-Oriented Programming /
by: Kienzle, Jörg
Published: (2003)

Advanced Relational Programming /
by: Cacace, Filippo
Published: (1996)

Making Hypermedia Work : A User's Guide to HyTime /
by: DeRose, Steven J.
Published: (1994)

Transaction Management Support for Cooperative Applications /
by: By, Rolf A.
Published: (1998)

Distributed and Parallel Embedded Systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schlo€ Eringerfeld, Germany /
by: Rammig, Franz J.
Published: (1999)

Databases and Information Systems : Fourth International Baltic Workshop, Baltic DB&IS 2000 Vilnius, Lithuania, May 1-5, 2000 Selected Papers /
by: Barzdinʹ, I͡A. M. (I͡An Martynovich)
Published: (2001)

Computational Aspects of Complex Analysis : Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 - August 6, 1982 /
by: Werner, H.
Published: (1983)

Computational Techniques in Quantum Chemistry and Molecular Physics : Proceedings of the NATO Advanced Study Institute held at Ramsau, Germany, 4-21 September, 1974 /
by: Diercksen, G. H. F.
Published: (1975)

Workflow and Process Automation : Concepts and Technology /
by: Cichocki, Andrzej
Published: (1998)

Mechanics /
by: Chester, W.
Published: (1980)

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 /
by: Jacobs, Bart
Published: (2002)

The Application of Mathematics in Industry /
by: Anderssen, R. S.
Published: (1982)

Numerical Solutions of the N-Body Problem /
by: Marciniak, Andrzej
Published: (1985)

Combinatorial Complexes : a Mathematical Theory of Algorithms /
by: Sellers, Peter H.
Published: (1979)

bash kurz & gut, Second Edition
by: Guenther, Karsten
Published: (2010)

Mac OS X Lion efficace /
by: Gete, Guillaume
Published: (2012)

Microsoft Windows 8.1 Power-Tipps - Das Maxibuch (Buch + E-Book). Auch für Windows 8 /
by: Born, Günter
Published: (2013)

Configuration et dépannage de PC, 4 edition /
by: Lange, Sophie
Published: (2012)

A Study in String Processing Languages /
by: Klint, Paul
Published: (1985)

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Published: (1999)

Information Retrieval and Hypertext /
by: Agosti, Maristella
Published: (1996)

TEX: starting from 1 /
by: Doob, Michael
Published: (1993)

Font Technology : Methods and Tools /
by: Karow, Peter
Published: (1994)

HTML and the Art of Authoring for the World Wide Web /
by: White, Bebo
Published: (1996)

Practical SGML /
by: Herwijnen, Eric
Published: (1994)

The Craft of Text Editing : Emacs for the Modern World /
by: Finseth, Craig A.
Published: (1991)

Tools for Working with Guidelines : Annual Meeting of the Special Interest Group /
by: Vanderdonckt, Jean
Published: (2001)

LaTeX for Linux : a Vade Mecum /
by: Lipkin, Bernice Sacks
Published: (1999)

De Motu and the Analyst : a Modern Edition, with Introductions and Commentary /
by: Berkeley, George
Published: (1992)

Workstations and Publication Systems /
by: Earnshaw, Rae A.
Published: (1987)

Electronic Books and ePublishing : A Practical Guide for Authors /
by: Henke, Harold
Published: (2001)

Digital Typefaces : Description and Formats /
by: Karow, Peter
Published: (1994)

Developments in Reliable Computing /
by: Csendes, Tibor
Published: (1999)

Industrial Application of Electromagnetic Computer Codes /
by: Crutzen, Yves R.
Published: (1990)

Proceedings /

Scalable High Performance Computing for Knowledge Discovery and Data Mining /
by: Stolorz, Paul
Published: (1998)

Algorithms - ESA '94 : Second Annual European Symposium, Utrecht, the Netherlands, September 26-28, 1994. Proceedings /
by: Leeuwen, J. van (Jan)
Published: (1994)