default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd LADC 2005: Salvador, Brazil
- Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva:
Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Lecture Notes in Computer Science 3747, Springer 2005, ISBN 3-540-29572-0
Invited Talks
- William H. Sanders:
Probabilistic Validation of Computer System Survivability. 1 - Christof Fetzer:
Timed Asynchronous Distributed Systems. 2-3 - Edgar Nett:
WLAN in Automation - More Than an Academic Exercise?. 4-8
Evaluation
- Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes:
Using Stratified Sampling for Fault Injection. 9-19 - João Durães
, Henrique Madeira:
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code. 20-34 - Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. 35-51
Certification
- Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano:
Airborne Software Concerns in Civil Aviation Certification. 52-60
Modelling
- Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira:
A Method for Modeling and Testing Exceptions in Component-Based Software Development. 61-79 - Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos:
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars. 80-100 - Christian Buckl, Alois C. Knoll, Gerhard Schrott:
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. 101-120
Embedded Systems
- Hamid R. Zarandi, Seyed Ghassem Miremadi:
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme. 121-130 - Mário Zenha Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva:
On the Effects of Errors During Boot. 131-142 - Mahdi Fazeli, Reza Farivar, Shaahin Hessabi, Seyed Ghassem Miremadi:
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems. 143-153
Time
- George Marconi de Araujo Lima, Alan Burns:
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. 154-173 - Filipe Araújo, Luís E. T. Rodrigues:
On the Monitoring Period for Fault-Tolerant Sensor Networks. 174-190 - Fábio Lima, Raimundo A. Macêdo:
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. 191-205
Distributed Systems Algorithms
- HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders:
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. 206-225 - Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul:
Generating Fast Atomic Commit from Hyperfast Consensus. 226-244 - Alfrânio Correia Jr., António Luís Sousa, Luís Soares, José Pereira, Francisco Moura, Rui Oliveira:
Group-Based Replication of On-Line Transaction Processing Servers. 245-260
Workshops
- Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve:
Third Workshop on Theses and Dissertations on Dependable Computing. 261 - Herman Augusto Lepikson, Leandro Buss Becker:
Latin-American Workshop on Dependable Automation Systems. 262
Tutorials
- Rogério de Lemos, Paulo Asterio de Castro Guerra:
Software Architectures for Dependable Systems. 263-264 - Rachid Guerraoui, Michel Raynal:
Fault-Tolerant Techniques for Concurrent Objects. 265 - Fabíola Gonçalves Pereira Greve:
Agreement Protocols in Environments with Temporal Uncertainties. 266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
