CP 2008 - PDF Preprint Papers

CP 2008 Principles and Practice of Constraint Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CP-2008 Paper

click to vote

CP
2008
Springer

194views Artificial Intelligence» more CP 2008»

An Application of Constraint Programming to Superblock Instruction Scheduling

14 years 2 months ago

Download www.cs.uwaterloo.ca

Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...

Abid M. Malik, Michael Chase, Tyrel Russell, Peter...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	194	An Application of Constraint Programming to Superblock Instruction Scheduling	claim
2	174	A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules	claim
3	159	CPBPV: A Constraint-Programming Framework for Bounded Program Verification	claim
4	158	A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine	claim
5	142	Flow-Based Propagators for the SEQUENCE and Related Global Constraints	claim
6	141	Connecting ABT with Arc Consistency	claim
7	134	Approximate Solution Sampling (and Counting) on AND/OR Spaces	claim
8	132	Universal Booleanization of Constraint Models	claim
9	128	Perfect Constraints Are Tractable	claim
10	125	Crossword Puzzles as a Constraint Problem	claim
11	125	A Branch and Bound Algorithm for Numerical MAX-CSP	claim
12	123	Classes of Submodular Constraints Expressible by Graph Cuts	claim
13	122	Adding Search to Zinc	claim
14	120	A New Empirical Study of Weak Backdoors	claim
15	115	Cost-Based Domain Filtering for Stochastic Constraint Programming	claim
16	106	Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem	claim
17	106	Exploiting Decomposition in Constraint Optimization Problems	claim
18	106	A Coinduction Rule for Entailment of Recursively Defined Properties	claim
19	104	Solving a Telecommunications Feature Subscription Configuration Problem	claim
20	100	Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm	claim
21	100	Probabilistically Estimating Backbones and Variable Bias: Experimental Overview	claim
22	99	Length-Lex Bounds Consistency for Knapsack Constraints	claim
23	93	Model Restarts for Structural Symmetry Breaking	claim
24	92	Back to the Complexity of Universal Programs	claim
25	92	Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT	claim
26	92	Reformulating Positive Table Constraints Using Functional Dependencies	claim
27	91	Dichotomic Search Protocols for Constrained Optimization	claim
28	89	Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies	claim
29	88	Approximate Compilation of Constraints into Multivalued Decision Diagrams	claim
30	88	Search Strategies for Rectangle Packing	claim
31	87	Exploiting Common Subexpressions in Numerical CSPs	claim
32	86	Semi-automatic Generation of CHR Solvers for Global Constraints	claim
33	85	Perfect Derived Propagators	claim
34	84	Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms	claim
35	82	A Soft Constraint of Equality: Complexity and Approximability	claim
36	77	Optimization of Simple Tabular Reduction for Table Constraints	claim
37	73	Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems	claim
38	70	A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions	claim
39	68	Guiding Search in QCSP+ with Back-Propagation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers