1992 search results - page 39 / 399 » Memory modeling for system synthesis |
103
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
108
click to vote
WSC
2008
15 years 2 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
DAC
2000
ACM
16 years 24 days ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
ERSA
2006
15 years 1 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...