4164 search results - page 53 / 833 » Timing model reduction for hierarchical timing analysis |
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
ATVA
2004
Springer
14 years 2 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...