2470 search results - page 100 / 494 » Liveness-Preserving Simulation Relations |
100
click to vote
PADS
2004
ACM
15 years 6 months ago
2004
ACM
We discuss an approach for creating a federated network simulation that eases the burdens on the simulator user that typically arise from more traditional methods for defining sp...
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
134
click to vote
ICPP
2006
IEEE
15 years 6 months ago
2006
IEEE
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
114
Voted
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Performance and power issues are becoming increasingly important in the design of large cluster based multitier data centers for supporting a multitude of services. Desi...
83
Voted
BIOINFORMATICS
1999
15 years 9 days ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...