3468 search results - page 322 / 694 » An open logical framework |
156
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
The performance of the barrier operation can be crucial for many parallel codes. Especially distributed shared memory systems have to synchronize frequently to ensure the proper o...
169
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
174
click to vote
APVIS
2001
15 years 8 months ago
2001
In this paper we describe a novel use of augmented reality for information visualization. We detail the use of augmented reality as a component of InVision -- an open framework fo...
173
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—The problem of designing high capacity and high bit rate IP-over-WDM networks, which can provide uninterrupted service in the presence of network equipment failures, continues t...
194
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...