1915 search results - page 97 / 383 » A language for functional interpretation of model based simu... |
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
SIES
2008
IEEE
14 years 3 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
IMC
2006
ACM
14 years 3 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...