176 search results - page 25 / 36 » Full Abstraction for Functional Languages with Control |
153
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
144
click to vote
FM
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
147
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
178
Voted
OOPSLA
2009
Springer
16 years 14 days ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
142
click to vote
RTSS
2007
IEEE
16 years 6 days ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...