2470 search results - page 103 / 494 » Liveness-Preserving Simulation Relations |
192
click to vote
SOFSEM
2007
Springer
16 years 26 days ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
157
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
Nitrous oxide (N2O) and nitric oxide (NO) are important atmospheric trace gases participating in the regulation of global climate and environment. Predictive models on the emissio...
335
Voted
ICCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
221
click to vote
PPOPP
2006
ACM
16 years 21 days ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
207
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...