Building dependable COTS microkernel-based systems using MAFALDA
Ed. DRAvresky, Kluwer Academic Publishers
Fault-tolerant systems dependability. Explicit modeling of hardware and software component-interactions
This ontology contains information detailing publications held by LAAS-CNRS
Publication export from LAAS-CNRS
Formal specification for building robust real-time microkernels
Evaluation de la sret de fonctionnement de systmes multiprocesseurs en grappe
Lecture Notes in Computer Science 1826 "Reflection and Software Engineering"
Quel rle pour l'optique dans l'ordinateur durant la prochaine dcennie ?
19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000)
Single-event generation and mapping of a 8kx16-DPRAM under picosecond optical excitation
Simple events generation and mapping of a 8kx16-DPRAM under picosecond optical excitation
19th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2000)
Revue de l'Electricit et de l'Electronique
Pushing away the communication bottleneck with optical interconnects in symmetric multiprocessors
Analyse des modes de dfaillances du micro-noyau LYNXOS par injection de faute
Tolrance aux fautes dans les systmes critiques
Revue de la Socit Franaise d'Optique : Optique et Photonique
Towards validating reflective architectures: formalisation of a metaobjects protocol
Workshop Radiation Effects on Components and Systems (RADECS'2000)
Reflective fault tolerant systems: concepts and implementation
22nd International Conference on Software Engineering (ICSE'2000)
Formal wrappers for COTS microkernel-based dependable systems
Architectural approach to the role of optics in mono and multiprocessor machines
Dependability of computer control systems in power plants. Analytical and experimental evaluation
SQUALE : une proposition de critres d'valuation de la sret de fonctionnement
3rd Information Survivability Workshop (ISW'2000)
Dfinition of a test strategy for dependable reflective architectures
2000 International Topical Meeting on Optics in Computing (OC'2000)
Modlisation fonctionnelle et comportementale en prsence de fautes
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000)
A dependability-explicit model for the development of computing systems
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Implementing a reflective fault-tolerant CORBA system
Dependability engineering of complex computing systems
Dependability assessment of GUARDS instances
Dependable systems of systems: state of the art survey
Malicious- and Accidental-Fault Tolerance in Internet Applications: reference model and use cases
2000 Pacific Rim International Symposium on Dependable Computing (PRDC'2000)
Composants logiciels et sret de fonctionnement. Intgration de COTS
6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000)
Lecture Notes in Computer Science 1895, Springer, 323 p.
Tolrance aux fautes sur CORBA par protocole mtaobjets et langages rflexifs
Testing levels for object-oriented software
21st IEEE Real-Time Systems Symposium (RTSS2000)
Eds WCazzola, RJStroud, FTisato, Springer