9842 search results - page 355 / 1969 » Compositional timing analysis |
150
Voted
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
Grid services have tremendously simplified the programming challenges in leveraging large-scale distributed comAt the same time, the increased level of abstraction reduces the op...
113
click to vote
ICAS
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper1 deals with the problem of assuring predefined QoS for real time (RT) class of service (CoS), which we define as one of inter-provider or inter-domain classes of service...
165
Voted
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
As power density increases exponentially, run-time regulation of operating temperature by dynamic thermal management becomes imperative. This paper proposes a novel approach to re...
130
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
156
click to vote
HASE
1999
IEEE
15 years 9 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...