9842 search results - page 312 / 1969 » Compositional timing analysis |
121
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
148
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
Highly distributed systems such as Grids are used today to the execution of large-scale parallel applications. The behavior analysis of these applications is not trivial. The comp...
128
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Scanned document images are nowadays becoming available in increasingly higher resolutions. Meanwhile, the variations in image quality within typical document collections increase...
145
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
157
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...