3955 search results - page 161 / 791 » A Transactional Architecture for Simulation |
89
Voted
WSC
2008
15 years 3 months ago
2008
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
100
click to vote
WSC
1997
15 years 2 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
84
Voted
SIGMOBILE
2008
15 years 17 days ago
2008
Realistic simulation is a necessary tool for proper evaluation of newly developed protocols for Vehicular Ad Hoc Networks (VANETs). Several recent efforts focused on achieving thi...
CONCURRENCY
2004
15 years 15 days ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...