615 search results - page 39 / 123 » Beta Reduction Constraints |
108
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
111
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
118
click to vote
RTSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
114
Voted
JGAA
2002
15 years 11 days ago
2002
We address in this paper the problem of constructing embeddings of planar graphs satisfying declarative, user-defined topological constraints. The constraints consist each of a cy...
116
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...