17740 search results - page 75 / 3548 » Simulation Using Orchestration |
PADS
2004
ACM
14 years 3 months ago
2004
ACM
Computer simulation is the most common approach to studying wireless ad-hoc routing algorithms. The results, however, are only as good as the models the simulation uses. One shoul...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
ICTAI
2005
IEEE
14 years 3 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
WSC
2007
14 years 8 days ago
2007
The construction process is subject to an array of influences, both from internal and external environments, which makes the process performance uncertain and difficult to predict...
ACL
2009
13 years 7 months ago
2009
The development of Dialog-Based ComputerAssisted Language Learning (DB-CALL) systems requires research on the simulation of language learners. This paper presents a new method for...