7456 search results - page 1039 / 1492 » Parallelism in Logic Programming |
139
click to vote
NSPW
2004
ACM
16 years 9 days ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
170
click to vote
FCCM
2003
IEEE
16 years 5 days ago
2003
IEEE
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...
153
click to vote
DEBS
2003
ACM
16 years 4 days ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
196
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
155
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...