1888 search results - page 228 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
137
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
133
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
156
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
143
click to vote
WSC
2008
15 years 6 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
165
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...