7580 search results - page 420 / 1516 » Prometheus design tool |
185
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
184
click to vote
IADIS
2003
15 years 8 months ago
2003
In order to understand and enhance the value of new media in education it is necessary to develop criteria for the evaluation of the effectiveness of learning with hypermedia envi...
202
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
219
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
192
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...