2379 search results - page 80 / 476 » Modeling, scheduling, and simulation of switched processing ... |
FPL
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes an execution cache that uses process migration between hardware and software contexts by way of run-time reconfiguration (RTR) of Field Programmable Gate Arr...
WSC
2001
13 years 10 months ago
2001
Despite the potential, the use of simulation technology at US railroads appears to be lagging behind that in manufacturing and other transportation industries. This paper describe...
WSC
2008
13 years 11 months ago
2008
This study evaluates appointment systems used in hospitals by incorporating appointment rules and patient characteristics. Using an experiment unit at an internal medicine departm...
SPIN
2000
Springer
14 years 15 days ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
CAV
2009
Springer
14 years 1 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...