215 search results - page 1 / 43 » Algebraic simulations |
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...
WSC
1994
13 years 6 months ago
1994
JLP
2010
12 years 11 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
We propose a load balancing heuristic for parallel adaptive finite element method (FEM) simulations. In contrast to most existing approaches, the heuristic focuses on good partit...