Search Sciweavers | Sciweavers

7576 search results - page 71 / 1516

» UNIX as an Application Program

click to vote

ICPP
2006
IEEE

93views Distributed And Parallel Com...» more ICPP 2006»

Application-Transparent Checkpoint/Restart for MPI Programs over InfiniBand

15 years 5 months ago

Download www.cse.ohio-state.edu

Qi Gao, Weikuan Yu, Wei Huang, Dhabaleswar K. Pand...

claim paper

Read More »

click to vote

CONCUR
2005
Springer

83views Distributed And Parallel Com...» more CONCUR 2005»

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

15 years 5 months ago

Download iml.univ-mrs.fr

Abstract. In this paper we show how to compress eﬃciently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...

Eric Goubault, Emmanuel Haucourt

claim paper

Read More »

click to vote

JELIA
2004
Springer

91views Artificial Intelligence» more JELIA 2004»

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

15 years 5 months ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

CCGRID
2003
IEEE

124views Distributed And Parallel Com...» more CCGRID 2003»

P2P-RPC: Programming Scientific Applications on Peer-to-Peer Systems with Remote Procedure Call

15 years 5 months ago

Download www.comp.nus.edu.sg

Samir Djilali

claim paper

Read More »

click to vote

ICRA
2003
IEEE

112views Robotics» more ICRA 2003»

Using bayesian programming for multi-sensor multi-target tracking in automotive applications

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers