245 search results - page 2 / 49 » Parametric probabilistic transition systems for system desig... |
SMA
1993
ACM
13 years 11 months ago
1993
ACM
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
ICEIS
2006
IEEE
14 years 1 months ago
2006
IEEE
CAV
1997
Springer
13 years 11 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
PLDI
2004
ACM
14 years 23 days ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...