384 search results - page 46 / 77 » Automatic framework generation for hard real-time applicatio... |
119
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
138
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
120
click to vote
AAAI
2004
15 years 2 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
123
click to vote
CONSTRAINTS
2008
15 years 1 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...