1150 search results - page 93 / 230 » Advanced MPI Programming |
113
click to vote
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
113
click to vote
AAAI
2000
14 years 11 months ago
2000
The plethora of content available to the consumer has become overwhelming. Increasing amounts of information are being disseminated through terrestrial broadcast, satellite, and c...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Moore’s Law will soon deliver tera-scale level transistor integration capacity. Power, variability, reliability, aging, and testing will pose as barriers and challenges to harne...
CIE
2008
Springer
14 years 12 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
ENTCS
2010
14 years 10 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...