4434 search results - page 648 / 887 » On the Composition of Hybrid Systems |
170
click to vote
WSC
2008
15 years 9 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
176
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
167
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
201
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
165
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...