215 search results - page 4 / 43 » Algebraic simulations |
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
CSR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study structural properties of restricted width arithmetical circuits. It is shown that syntactically multilinear arithmetical circuits of constant width can be effici...
ICCD
1993
IEEE
14 years 21 days ago
1993
IEEE
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
HYBRID
1999
Springer
14 years 25 days ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...