2861 search results - page 358 / 573 » Constraint Programming |
200
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
163
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
163
Voted
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
146
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
198
Voted
CC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...