1980 search results - page 118 / 396 » Compositional Model Checking of Real Time Systems |
108
click to vote
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
123
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...
113
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
127
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
114
Voted
AC
2005
Springer
15 years 1 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...