29172 search results - page 193 / 5835 » Modeling Systems in CLP |
PRDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...
ISMVL
2003
IEEE
14 years 3 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
HYBRID
1995
Springer
14 years 1 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
ECIR
1998
Springer
13 years 11 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...