1938 search results - page 237 / 388 » Dependable Software |
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
ICCBSS
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...