2523 search results - page 426 / 505 » Correct Development of Embedded Systems |
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present an algorithm designed for navigating around a performance that was filmed as a “casual” multi-view video collection: real-world footage captured on hand held camer...
SSDBM
2000
IEEE
14 years 1 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
WIIW
2001
13 years 10 months ago
2001
Our research and development activities in digital libraries raised relevant features in supporting Web information integration. Underlain by an in house multi-agent based architec...
WCET
2007
13 years 10 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...