6308 search results - page 1026 / 1262 » Modeling Urgency in Timed Systems |
172
click to vote
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
178
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
194
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
198
click to vote
QOFIS
2000
Springer
15 years 10 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
209
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...