9626 search results - page 1672 / 1926 » Invariant Based Programming |
154
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
153
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...
175
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
182
click to vote
SPW
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
154
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...