1992 search results - page 29 / 399 » Memory modeling for system synthesis |
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
102
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
106
click to vote
DSN
2006
IEEE
15 years 5 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
101
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...