Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-16 20:18 CEST 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:
