879 search results - page 132 / 176 » A Constraint Programming Approach for the Service Consolidat... |
104
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
88
Voted
SIGMOD
2003
ACM
16 years 21 days ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...
128
click to vote
CP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
92
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Applications for constrained embedded systems are subject to strict time constraints and restrictive resource utilization. With soft core processors, application developers can cu...
94
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...