<--- Back to Details
First PageDocument Content
Systems engineering / Computer engineering / Failure / Data synchronization / Software quality / Fault-tolerant design / Fault-tolerant system / Failure rate / Replication / Fault-tolerant computer systems / Computing / Reliability engineering
Date: 2010-04-27 17:44:24
Systems engineering
Computer engineering
Failure
Data synchronization
Software quality
Fault-tolerant design
Fault-tolerant system
Failure rate
Replication
Fault-tolerant computer systems
Computing
Reliability engineering

/tmp/effort-fitness-11m-error-free.ps

Add to Reading List

Source URL: navet.ics.hawaii.edu

Download Document from Source Website

File Size: 259,13 KB

Share Document on Facebook

Similar Documents

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document