12131 search results - page 379 / 2427 » Introduction to Modeling and Simulation |
136
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
160
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
158
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
144
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
130
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...