4451 search results - page 5 / 891 » Continuous model synthesis |
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
ISVC
2009
Springer
14 years 1 months ago
2009
Springer
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
ISIWI
2004
13 years 8 months ago
2004
The increase in the number of scientific disciplines, the continuing significant rise in the production of literature and the journal crisis at libraries has led the actors to see...