15754 search results - page 3017 / 3151 » Programs are Knowledge Bases |
141
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
152
Voted
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
144
click to vote
BIBE
2006
IEEE
15 years 10 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
165
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— In autonomous mobile ad hoc networks (MANET) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or, ho...
127
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
With advances in process technology, soft errors (SE) are becoming an increasingly critical design concern. Due to their large area and high density, caches are worst hit by soft ...