2523 search results - page 248 / 505 » Correct Development of Embedded Systems |
123
Voted
WDAG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
135
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
An image based model reconstruction system is described. Real images of a rigid object acquired under a simple but controlled environment are used to recover the three dimensional...
131
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
131
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
102
click to vote
JSW
2008
15 years 3 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...