213 search results - page 22 / 43 » Abstract Interpretation of PIC Programs through Logic Progra... |
ILP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientiļ¬c modelling that integrates together abduction and induction can be used to understand the functional class of unk...
CC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed eļ¬...
WOA
2004
13 years 9 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...