Sciweavers

7311 search results - page 191 / 1463
» Time in State Machines
Sort
View
CGF
2011
14 years 11 months ago
Motion Blur Rendering: State of the Art
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
Fernando Navarro, Francisco J. Serón, Diego...
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 11 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
POPL
2000
ACM
15 years 8 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
AUSAI
2005
Springer
15 years 10 months ago
A Genetic Algorithm for Job Shop Scheduling with Load Balancing
This paper deals with the load-balancing of machines in a real-world job-shop scheduling problem, with identical machines. The load-balancing algorithm allocates jobs, split into l...
Sanja Petrovic, Carole Fayad
MASCOTS
2010
15 years 6 months ago
Predicting the Performance of Virtual Machine Migration
With the ability to move virtual machines between physical hosts, live migration is a core feature of virtualisation. However for migration to be useful, deployable feature on a la...
Sherif Akoush, Ripduman Sohan, Andrew Rice, Andrew...