3156 search results - page 81 / 632 » An address translation simulator |
DAC
2006
ACM
15 years 10 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...
GCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. EEMAS environment is a problem-solving environment for multidisciplinary application simulations. Within the EEMAS, there are four categories of modules involved, namely ...
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
MASCOTS
2003
14 years 11 months ago
2003
System-level design presents special simulation modeling challenges. System-level models address the architectural and functional performance of complex systems. Systems are decom...
CGF
2008
14 years 10 months ago
2008
In this paper, we present an adaptive model for dynamically deforming hyper-elastic rods. In contrast to existing approaches, adaptively introduced control points are not governed...