14336 search results - page 399 / 2868 » Analytical simulation modeling |
191
Voted
IPPS
2007
IEEE
16 years 1 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 ...
163
click to vote
DAC
2003
ACM
16 years 7 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...
183
Voted
IFIP
1997
Springer
15 years 11 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
158
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Bioactivity profiling using high-throughput in vitro assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also r...
147
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...