1052 search results - page 18 / 211 » The Regular Real-Time Languages |
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
DATESO
2010
13 years 5 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
RTCSA
2003
IEEE
14 years 21 days ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...