11112 search results - page 312 / 2223 » Computing Stuttering Simulations |
191
click to vote
VTS
2005
IEEE
16 years 8 days ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
140
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
172
Voted
WADT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
To increase the bandwidth of high-performance intrasystem interconnections optical multimode waveguides can be used. Since the design procedure of optical interconnections has to ...
164
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...