2663 search results - page 11 / 533 » How to Choose a Timing Model |
BIBE
2008
IEEE
13 years 9 months ago
2008
IEEE
Recent advances of robotic/mechanical devices enable us to measure a subject's performance in an objective and precise manner. The main issue of using such devices is how to r...
WSC
2001
13 years 8 months ago
2001
Using simulation, Headway Technologies predicted that increasing staffing among a group of already lightly loaded machine operators--"overstaffing"--would significantly ...
ISM
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a set of techniques to simplify tree models for faster rendering while retaining their visual resemblance to the original model. This goal is achieved by setting a budg...
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
WSC
2001
13 years 8 months ago
2001
At one time or another we have all faced the doubters who wonder why they need to use simulation. We have wowed our potential clients with animation, left them in awe at our grasp...