9521 search results - page 454 / 1905 » Compiling with continuations, continued |
141
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract This paper proposes an approach to continuously optimizing parallel scientific applications with dynamically changing architectures. We achieve this by combining a dynamic...
128
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
137
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
140
click to vote
IDMS
2000
Springer
15 years 8 months ago
2000
Springer
Real-time audio over the best effort Internet often suffers from packet loss. At this time, Forward Error Correction (FEC) seems to be an efficient way to attenuate the impact of ...
116
click to vote
CSL
1995
Springer
15 years 8 months ago
1995
Springer
We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous t...