11112 search results - page 282 / 2223 » Computing Stuttering Simulations |
175
click to vote
FPL
2005
Springer
16 years 5 days ago
2005
Springer
Molecular Dynamics (MD) is of central importance to computational chemistry. Here we show that MD can be implemented efficiently on a COTS FPGA board, and that speedups from ¿½...
178
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
150
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
189
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
178
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...