Sciweavers

1056 search results - page 179 / 212
» Grid Computing Supporting System on ITBL Project
Sort
View
JLP
2007
95views more  JLP 2007»
14 years 9 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
PC
2010
100views Management» more  PC 2010»
14 years 4 months ago
Analysis of the solution phase of a parallel multifrontal approach
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
Patrick Amestoy, Iain S. Duff, Abdou Guermouche, T...
ACMACE
2005
ACM
15 years 3 months ago
Nano-Scape: experiencing aspects of nanotechnology through a magnetic force-feedback interface
In this paper we describe an interactive system called “NanoScape” which we developed in 2001 for the public exhibition „Science + Fiction“ at the Sprengelmuseum in Hannov...
Laurent Mignonneau, Christa Sommerer
DBISP2P
2005
Springer
172views Database» more  DBISP2P 2005»
15 years 3 months ago
A Content-Addressable Network for Similarity Search in Metric Spaces
In this paper we present a scalable and distributed access structure for similarity search in metric spaces. The approach is based on the Content– addressable Network (CAN) parad...
Fabrizio Falchi, Claudio Gennaro, Pavel Zezula
LPAR
2005
Springer
15 years 3 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand