422 search results - page 17 / 85 » Potential for Symbolic-assisted Process Simulation |
PCI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Increased power density, hot-spots, and temperature gradients are severe limiting factors for today’s state-of-the-art microprocessors. However, the flexibility offer...
PADS
2004
ACM
14 years 3 months ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved significantly without compromising ...
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
COSIT
2001
Springer
14 years 2 months ago
2001
Springer
In the physical world, decision making in common navigation strategies is based on a mental map which includes a mental representation of geometric features such as distances and d...
EDCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...