4350 search results - page 663 / 870 » Case studies for contract-based systems |
157
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
119
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In professional tennis training matches, the coach needs to be able to view play from the most appropriate angle in order to monitor players activities. In this paper, we presen...
125
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...
128
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
RAID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...