5506 search results - page 278 / 1102 » Minimal Logic Programs |
232
Voted
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
134
click to vote
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
171
Voted
EUROGP
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
114
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Negative Bias Temperature Instability (NBTI) is a significant reliability concern for nanoscale CMOS circuits. Its effects on circuit timing can be especially pronounced for ci...
132
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we study sensor enabled landmine networks by formulating a minimum-cost mine selection problem. The problem arises in a target defence scenario, where the object...