Sciweavers

1977 search results - page 41 / 396
» An Open Real-Time Environment for Parallel and Distributed S...
Sort
View
IPPS
2003
IEEE
15 years 3 months ago
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
Stefan Lankes, Andreas Jabs, Thomas Bemmerl
ISORC
2003
IEEE
15 years 3 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...
CLUSTER
2004
IEEE
14 years 9 months ago
Towards Real-Time Fault-Tolerant CORBA Middleware
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
Aniruddha S. Gokhale, Balachandran Natarajan, Doug...
ARTS
1997
Springer
15 years 1 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
PODC
1990
ACM
15 years 1 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger