2700 search results - page 444 / 540 » The role of abstraction in software engineering |
172
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
151
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
156
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
169
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
167
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...