4930 search results - page 413 / 986 » Testing a Safety-Critical Application |
176
click to vote
ISPDC
2006
IEEE
16 years 26 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
164
click to vote
TRIDENTCOM
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes the motivation, methodology and implementation approach of the testbed that has been developed in the framework of the EVEREST project. Such testbed is used f...
212
click to vote
ADAEUROPE
2006
Springer
16 years 25 days ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
165
click to vote
ACMSE
2006
ACM
16 years 25 days ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
150
click to vote
ICALT
2005
IEEE
16 years 14 days ago
2005
IEEE
Flexible and active education calls for a comprehensive restructuring of the traditional university course format. Such restructuring can be done in a natural and coherent way by ...