Search Sciweavers | Sciweavers

27913 search results - page 63 / 5583

» Simulation

click to vote

ANSS
1998
IEEE

114views Modeling and Simulation» more ANSS 1998»

Structured Parallel Simulation Modeling and Programming

15 years 4 months ago

Download www.comp.nus.edu.sg

Yong Meng Teo, Seng Chuan Tay, Siew Theng Kong

claim paper

Read More »

click to vote

DAC
1990
ACM

167views Computer Architecture» more DAC 1990»

Symbolic Simulation - Techniques and Applications

15 years 3 months ago

Download www.cs.cmu.edu

Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...

Randal E. Bryant

claim paper

Read More »

click to vote

CMSB
2007
Springer

77views Applied Computing» more CMSB 2007»

Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

15 years 3 months ago

Download lucacardelli.name

This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...

Andrew Phillips, Luca Cardelli

claim paper

Read More »

click to vote

ANSS
2004
IEEE

104views Modeling and Simulation» more ANSS 2004»

Investigating Ontologies for Simulation Modeling

15 years 3 months ago

Download www.cs.uga.edu

John A. Miller, Gregory T. Baramidze, Amit P. Shet...

claim paper

Read More »