5415 search results - page 927 / 1083 » The Implementation of Functional Programming Languages |
194
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
172
click to vote
RTAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
170
click to vote
SIGCSE
2005
ACM
16 years 1 days ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
179
click to vote
ADAEUROPE
2005
Springer
16 years 1 days ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
140
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...