640 search results - page 63 / 128 » Discovering State Invariants |
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...
118
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
84
Voted
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...
NIPS
2007
15 years 1 months ago
2007
In this paper we formulate a novel AND/OR graph representation capable of describing the different configurations of deformable articulated objects such as horses. The representa...
ICALP
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...