5339 search results - page 814 / 1068 » Controllable Delay-Insensitive Processes |
141
click to vote
MOVEP
2000
15 years 9 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
165
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
Image metamorphosis, or image morphing, is a popular technique for creating a smooth transition between two images. For synthetic images, transforming and rendering the underlying...
150
Voted
AIPS
2008
15 years 8 months ago
2008
The current evaluation functions for heuristic planning are expensive to compute. In numerous domains these functions give good guidance on the solution, so it worths the computat...
147
Voted
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
150
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
We present a tool for the analysis of fault-tolerance in packet-switched communication networks. Network elements like links or routers can fail or unexpected traffic surges may o...