2470 search results - page 103 / 494 » Liveness-Preserving Simulation Relations |
123
Voted
SOFSEM
2007
Springer
15 years 6 months 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 ...
73
Voted
ENVSOFT
2000
15 years 14 days 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...
218
Voted
ICCS
2007
Springer
15 years 6 months 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...
124
Voted
PPOPP
2006
ACM
15 years 6 months 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...
121
click to vote
DATE
1999
IEEE
15 years 5 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...