66 search results - page 5 / 14 » Verifying average dwell time of hybrid systems |
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
JPDC
2006
13 years 8 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
Motion blur due to camera motion can significantly degrade the quality of an image. Since the path of the camera motion can be arbitrary, deblurring of motion blurred images is a ...
ICPP
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present a heuristic algorithm that improves the performance of static task scheduling. Our algorithm is based on the list-scheduling mechanism. For the listing p...
WEA
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...