3192 search results - page 17 / 639 » Translating Model Simulators to Analysis Models |
FUIN
2008
13 years 8 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
FDL
2007
IEEE
14 years 15 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
DAC
2003
ACM
14 years 9 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...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensio...