1992 search results - page 240 / 399 » Memory modeling for system synthesis |
167
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
164
click to vote
IJCAI
1989
15 years 7 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
186
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
157
click to vote
IGPL
2010
15 years 4 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...