2958 search results - page 315 / 592 » Extending and Implementing RASP |
STTT
2010
14 years 11 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
148
click to vote
AROBOTS
2010
14 years 11 months ago
2010
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...
136
click to vote
ADAEUROPE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
CLOUDCOM
2010
Springer
14 years 10 months ago
2010
Springer
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...
110
click to vote
DSL
2009
14 years 10 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...