99 search results - page 1 / 20 » Event-Driven Programming with Logical Execution Times |
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
HPCN
2000
Springer
13 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
AGP
2003
IEEE
13 years 10 months ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
KR
1991
Springer
13 years 8 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...