1992 search results - page 213 / 399 » Memory modeling for system synthesis |
192
click to vote
AUTOMATICA
2010
15 years 4 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
167
click to vote
ISCA
1997
IEEE
15 years 10 months ago
1997
IEEE
The SGI Origin 2000 is a cache-coherent non-uniform memory access (ccNUMA) multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was designed from t...
159
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
169
click to vote
CODES
2005
IEEE
16 years 18 hour ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
154
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...