9842 search results - page 315 / 1969 » Compositional timing analysis |
110
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino ci...
131
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
130
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
142
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets succes...
111
click to vote
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
In a MANET network where nodes move frequently, the probability of connectivity loss between nodes might be high, and communication sessions may easily loose connectivity during t...