1906 search results - page 220 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
144
Voted
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
120
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
161
Voted
RTS
2006
15 years 4 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
142
click to vote
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
174
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...