Sciweavers

16206 search results - page 358 / 3242
» In this issue
Sort
View
ISPA
2005
Springer
16 years 7 days ago
Collective Communications for Scalable Programming
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-...
ITRUST
2005
Springer
16 years 7 days ago
Security and Trust in the Italian Legal Digital Signature Framework
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
Stefano Zanero
PPAM
2005
Springer
16 years 6 days ago
Transparency in Object-Oriented Grid Database Systems
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
Krzysztof Kaczmarski, Piotr Habela, Hanna Kozankie...
SAMOS
2005
Springer
16 years 6 days ago
Micro-architecture Performance Estimation by Formula
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
Lucanus J. Simonson, Lei He
TARK
2005
Springer
16 years 6 days ago
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
Rohit Parikh