11112 search results - page 235 / 2223 » Computing Stuttering Simulations |
175
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We describe a new extraction tool, EMX (Electro-Magnetic eXtractor), for the analysis of RF, analog and high-speed digital circuits. EMX is a fast full-wave field solver. It incor...
126
click to vote
CGI
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. The Wang Tiles method is a successful and effective technique for the representation of 2D-texture or 3D-geometry. In this paper we present a new method to fill Wang ti...
150
click to vote
HPCS
2006
IEEE
16 years 19 days ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
189
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— We present a fast method for solving rigid body contact problems with friction, based on optimizations incorporated into Lemke’s algorithm for solving linear complementarity ...
165
click to vote
TCC
2005
Springer
16 years 1 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...