854 search results - page 86 / 171 » Timing coverification of concurrent embedded real-time syste... |
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
175
click to vote
CCGRID
2009
IEEE
16 years 28 days ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
165
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
166
click to vote
RTCSA
2007
IEEE
16 years 13 days ago
2007
IEEE
Real-time scheduling algorithms for multiprocessor systems have been the subject of considerable recent interest. For such an algorithm to be truly useful in practice, support for...