6554 search results - page 1227 / 1311 » Constraint Logic Programming |
111
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
154
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
141
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
130
Voted
IVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. While interactive virtual humans are becoming widely used in education, training and therapeutic applications, building animations which are both realistic and parameteri...
115
Voted
MP
2010
15 years 1 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...