5055 search results - page 81 / 1011 » Relative Timing |
134
Voted
ENTCS
2006
15 years 2 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
237
click to vote
JCP
2008
15 years 2 months ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
109
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
—We propose a frequency-domain modeling technique with applications on the statistical timing analysis of clock mesh/grid networks. Using transmission lines to model clock mesh e...
123
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
105
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...