4164 search results - page 345 / 833 » Timing model reduction for hierarchical timing analysis |
148
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
170
click to vote
DSS
2007
15 years 6 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
191
click to vote
SIAMSC
2011
15 years 1 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
218
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper assesses the predictability of network traffic by considering two metrics: (1) how far into the future a traffic rate process can be predicted with bounded error; (2) w...
174
click to vote
GLOBECOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...