2756 search results - page 383 / 552 » Computation-Centric Memory Models |
121
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
131
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...
163
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
138
Voted
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
109
click to vote
ESANN
2007
2007
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
15 years 5 months ago
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...