Retargetable Compilation of Self-Test Programs Using Constraint Logic Programming

Code Generation for Embedded Processors ◽

10.1007/978-1-4615-2323-9_13 ◽

2002 ◽

pp. 221-239

Author(s):

Ulrich Bieker

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Download Full-text

Retargetable self-test program generation using constraint logic programming

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217597 ◽

1995 ◽

Author(s):

Ulrich Bieker ◽

Peter Marwedel

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Program ◽

Program Generation ◽

Download Full-text

Retargetable Self-Test Program Generation Using Constraint Logic Programming

32nd Design Automation Conference ◽

10.1109/dac.1995.250018 ◽

1995 ◽

Author(s):

Ulrich Bieker

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Program ◽

Program Generation ◽

Download Full-text

Constraint Logic Programming Using ECLiPSe

10.1017/cbo9780511607400 ◽

2006 ◽

Author(s):

Krzysztof R. Apt ◽

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Informatica ◽

10.15388/informatica.2010.301 ◽

2010 ◽

Vol 21 (4) ◽

pp. 487-504 ◽

Author(s):

Jeremy Besson ◽

Albertas Čaplinskas

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Approach

Download Full-text

Scheduling In High-Level Synthesis Using A Hybrid Constraint Logic Programming /Integer Programming Approach

2006 International Conference on Computer Engineering and Systems ◽

10.1109/icces.2006.320436 ◽

2006 ◽

Author(s):

Mohamed Ahmed ◽

Hany Abdel-malek

Keyword(s):

Integer Programming ◽

Logic Programming ◽

Constraint Logic Programming ◽

High Level Synthesis ◽

Programming Approach ◽

Download Full-text

Assertion-based automated functional vectors generation using constraint logic programming

Proceedins of the 14th ACM Great Lakes symposium on VLSI - GLSVLSI '04 ◽

10.1145/988952.989021 ◽

2004 ◽

Author(s):

Tun Li ◽

Yang Guo ◽

Si-Kun Li

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Parallel objects on distributed constraint logic programming machines

Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming - ◽

10.1145/67386.67420 ◽

1988 ◽

Author(s):

J. F. Koegel

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Constructive negation and constraint logic programming with sets

New Generation Computing ◽

10.1007/bf03037598 ◽

2001 ◽

Vol 19 (3) ◽

pp. 209-255 ◽

Author(s):

Agostino Dovier ◽

Enrico Pontelli ◽

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constructive Negation

Download Full-text

A constraint logic programming algorithm for solving thermal unit commitment problem

Proceedings 1995 International Conference on Energy Management and Power Delivery EMPD '95 ◽

10.1109/empd.1995.500735 ◽

2002 ◽

Author(s):

Hong-Tzer Yang ◽

Kun-Yuan Huang ◽

Ching-Lien Huang

Keyword(s):

Logic Programming ◽

Unit Commitment ◽

Constraint Logic Programming ◽

Programming Algorithm ◽

Thermal Unit ◽

Unit Commitment Problem ◽

Commitment Problem

Download Full-text

Constraint Logic Programming Approach for Dynamic Traffic Signal Control

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39522-8 ◽

2000 ◽

Vol 33 (17) ◽

pp. 897-902

Author(s):

Kelwyn D'Souza ◽

Tomasz Borowiecki ◽

Zbigniew Banaszak

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Traffic Signal ◽

Programming Approach ◽

Signal Control ◽

Traffic Signal Control ◽

Dynamic Traffic

Download Full-text