7429 search results - page 640 / 1486 » Embedded System Update |
214
click to vote
ECRTS
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper targets energy-efficient scheduling of tasks over multiple processors, where tasks share a common deadline. Distinct from many research results on heuristics-based ener...
202
click to vote
APCSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper, a new architecture called the extendable instruction set computer (EISC) is introduced that addresses the issues of memory size and performance in embedded micropro...
211
click to vote
WCET
2008
15 years 8 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
198
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
197
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...