1992 search results - page 335 / 399 » Memory modeling for system synthesis |
SC
1990
ACM
15 years 2 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
BIOWIRE
2007
Springer
15 years 1 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
AUTOMATICA
2010
14 years 10 months ago
2010
: In this paper, two nonlinear optimization methods for the identification of nonlinear systems are compared. Both methods estimate all the parameters of a polynomial nonlinear sta...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
SYNTHESE
2010
14 years 8 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...