9842 search results - page 76 / 1969 » Compositional timing analysis |
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
IPCCC
2007
IEEE
14 years 2 months ago
2007
IEEE
Sensor networks can be used for event alarming applications. To date, in most of the proposed schemes, the raw or aggregated sensed data is periodically sent to a data consuming c...
SPIRE
2005
Springer
14 years 1 months ago
2005
Springer
We consider the problem of finding pairs of short patterns such that, in a given input sequence of length n, the distance between each pair’s patterns is at least α. The proble...
ENTCS
2008
13 years 7 months ago
2008
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
RTSS
2003
IEEE
14 years 1 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...