12131 search results - page 185 / 2427 » Introduction to Modeling and Simulation |
121
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
125
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
136
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
118
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
125
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...