12289 search results - page 1832 / 2458 » computing 2006 |
195
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
190
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Video kiosks increasingly contain powerful PC-like embedded processors, allowing them to display video at a high level of quality. Such video display, however, entails significant...
181
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
189
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
171
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
We give subquadratic algorithms that, given two necklaces each with n beads at arbitrary positions, compute the optimal rotation of the necklaces to best align the beads. Here ali...