Search Results - "Le Lann, G."
-
1
Fast asynchronous uniform consensus in real-time distributed systems
Published in IEEE transactions on computers (01-08-2002)“…We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant…”
Get full text
Journal Article -
2
Asynchrony and real-time dependable computing
Published in Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003) (2003)“…We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially…”
Get full text
Conference Proceeding
-
3
Constructing high assurance asynchronous real-time distributed systems: a proof-based system engineering approach
Published in 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings (2002)“…Asynchronous real-time distributed systems raise fundamental issues of how to build timely systems that operate in the presence of uncertain timeliness, and…”
Get full text
Conference Proceeding -
4
A protocol and correctness proofs for real-time high-performance broadcast networks
Published in Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183) (1998)“…Novel real time applications require high performance real time distributed systems, and therefore high performance real time networks. We examine a Hard Real…”
Get full text
Conference Proceeding -
5
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
Published in Proceedings International Conference and Workshop on Engineering of Computer-Based Systems (1997)“…The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted in poor S/W…”
Get full text
Conference Proceeding -
6
Designing modular services in the scattered byzantine failure model
Published in Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (2004)“…In this paper, we propose the scattered byzantine failure model. In this model, processes alternate correct and faulty periods. Specifically, during its faulty…”
Get full text
Conference Proceeding -
7
A Distributed System for Real-Time Transaction Processing
Published in Computer (Long Beach, Calif.) (01-02-1981)“…An experimental system designed as part of INRIA's Project Sirius, Delta implements a distributed executive for real-time transactional systems…”
Get full text
Journal Article -
8
A systems engineering approach for constructing certifiable real-time distributed systems
Published in Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003 (2003)“…In this paper, we present a systems engineering methodology for constructing certifiable realtime distributed systems. In the proposed approach, an…”
Get full text
Conference Proceeding -
9
In pursuit of correct paradigms for object-oriented real-time distributed systems
Published in Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702) (1999)“…Real time distributed applications based on object oriented technology raise many complex issues, most of them still open. We elaborate on the reasons why…”
Get full text
Conference Proceeding -
10
Cohorts and groups for safe and efficient autonomous driving on highways
Published in 2011 IEEE Vehicular Networking Conference (VNC) (01-11-2011)“…We introduce constructs aimed at reconciling safety and efficiency for ad hoc highway-centric clusters of autonomous vehicles. The cohort construct is an ad…”
Get full text
Conference Proceeding -
11
A general approach to real-time message scheduling over distributed broadcast channels
Published in Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95 (1995)“…We introduce a class of real-time scheduling problems as they arise in distributed multiaccess broadcast communication channels. This class of problems is more…”
Get full text
Conference Proceeding -
12
Time-utility scheduling and provably correct critical computer-based systems
Published in 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings (2004)“…Summary form only given. We investigate ways of expanding the scope of applicability of time-utility and aggregate utility driven scheduling. Being interested…”
Get full text
Conference Proceeding -
13
A methodology for designing and dimensioning critical complex computing systems
Published in Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1996)“…It is widely recognized that real-time, fault-tolerant and distributed computing technologies play a key role in the deployment of many current and future…”
Get full text
Conference Proceeding -
14
Ad hoc sensor networks, constraint programming and distributed agreement
Published in International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003 (2003)“…Numerous applications rest on sensor networks. Managing such networks in an efficient manner involves solving complex distributed computing problems, that…”
Get full text
Conference Proceeding -
15
Panel Session On Limits In Dependability
Published in FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing (1993)“…Presents information on panel sessions held at the conference proceedings…”
Get full text
Conference Proceeding -
16
Critical issues for the development of distributed real-time computing systems
Published in [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems (1990)“…From among the numerous issues involved with distributed real-time computing systems, those which are viewed as being central to designing such systems are…”
Get full text
Conference Proceeding