4000 search results - page 153 / 800 » Simulation down under |
137
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
122
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
Objects and scenes in virtual worlds such as 3-d computer games are typically represented by polygonal surface meshes. On the other hand, physically-based simulations of deformati...
131
Voted
WSC
2007
15 years 6 months ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
143
Voted
BCS
2008
15 years 5 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
144
Voted
CRYPTO
2010
Springer
15 years 3 months ago
2010
Springer
The Virtual Black Box (VBB) property for program obfuscators provides a strong guarantee: Anything computable by an efficient adversary given the obfuscated program can also be co...