1097 search results - page 175 / 220 » Revision Programming = Logic Programming Integrity Constra... |
140
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
121
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, varia...
128
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
131
click to vote
AAAI
1998
15 years 4 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
148
click to vote
TLDI
2010
ACM
16 years 7 hour ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...