Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 200 results
Sort by: relevance publication year

A POSIX-Ada Interface for Application-Defined Scheduling

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Mario Aldea Rivas | Michael González Harbour

https://doi.org/10.1007/3-540-48046-3_11 Actions

Encapsulating Failure Detection: From Crash to Byzantine Failures

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Assia Doudou | Benoît Garbinato | Rachid Guerraoui

https://doi.org/10.1007/3-540-48046-3_3 Actions

RPT: a CASE environment supporting the rapid prototyping approach to software development

PROCEEDINGS ARTICLE published in [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications

Authors: K. Rizman | I. Rozman | D. Verber

https://doi.org/10.1109/cmpeur.1991.257383 Actions

Modeling Distributed Systems in Rewriting Logic

BOOK CHAPTER published 2017 in Designing Reliable Distributed Systems

Authors: Peter Csaba Ölveczky

https://doi.org/10.1007/978-1-4471-6687-0_8 Actions

Concurrency Control in Transactional Drago

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Marta Patiño-Martínez | Ricardo Jiménez-Peris | Jörg Kienzle | Sergio Arévalo

https://doi.org/10.1007/3-540-48046-3_24 Actions

Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations

BOOK CHAPTER published in Reliable Implementation of Real Number Algorithms: Theory and Practice

Authors: Eva Dyllong

https://doi.org/10.1007/978-3-540-85521-7_3 Actions

Peer-to-Peer Systems and Probabilistic Protocols

BOOK CHAPTER published 2012 in Guide to Reliable Distributed Systems

Authors: Kenneth P. Birman

https://doi.org/10.1007/978-1-4471-2416-0_21 Actions

Static Dependency Analysis for Concurrent Ada 95 Programs

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Zhenqiang Chen | Baowen Xu | Jianjun Zhao | Hongji Yang

https://doi.org/10.1007/3-540-48046-3_17 Actions

Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Yuen T. Yu | Man F. Lau

https://doi.org/10.1007/3-540-48046-3_19 Actions

Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Alexander Chatzigeorgiou | George Stephanides

https://doi.org/10.1007/3-540-48046-3_5 Actions

A quarter century of performance evaluation-Impact on science and engineering

PROCEEDINGS ARTICLE published in [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications

Authors: M. Reiser

https://doi.org/10.1109/cmpeur.1991.257509 Actions

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems

BOOK CHAPTER published in Reliable Systems on Unreliable Networked Platforms

Authors: Holger Giese

https://doi.org/10.1007/978-3-540-71156-8_14 Actions

Reliable Communication in Distributed Computer-Controlled Systems

BOOK CHAPTER published 2001 in Reliable SoftwareTechnologies — Ada-Europe 2001

Authors: Luís Miguel Pinho | Francisco Vasques

https://doi.org/10.1007/3-540-45136-6_10 Actions

Introduction

BOOK CHAPTER published 2017 in Designing Reliable Distributed Systems

Authors: Peter Csaba Ölveczky

https://doi.org/10.1007/978-1-4471-6687-0_1 Actions

Confluence

BOOK CHAPTER published 2017 in Designing Reliable Distributed Systems

Authors: Peter Csaba Ölveczky

https://doi.org/10.1007/978-1-4471-6687-0_5 Actions

Termination

BOOK CHAPTER published 2017 in Designing Reliable Distributed Systems

Authors: Peter Csaba Ölveczky

https://doi.org/10.1007/978-1-4471-6687-0_4 Actions

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Robert Dewar | Olivier Hainque | Dirk Craeynest | Philippe Waroquiers

https://doi.org/10.1007/3-540-48046-3_15 Actions

Transactional Systems

BOOK CHAPTER published 2012 in Guide to Reliable Distributed Systems

Authors: Kenneth P. Birman

https://doi.org/10.1007/978-1-4471-2416-0_20 Actions

How to Use GNAT to Efficiently Preprocess New Ada Sentences

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Javier Miranda | Francisco Guerra | Ernestina Martel | José Martín | Alexis González

https://doi.org/10.1007/3-540-48046-3_14 Actions

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Agustín Espinosa Minguet | Ana García Fornes | Alfons Crespo i Lorente

https://doi.org/10.1007/3-540-48046-3_25 Actions
Feedback: support@crossref.org