Search Sciweavers | Sciweavers

7430 search results - page 61 / 1486

» Programming Applications in CIFF

110

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 8 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 7 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 7 months ago

Download www.comp.nus.edu.sg

Samir Djilali

claim paper

Read More »

Voted

ICRA
2003
IEEE

112views Robotics» more ICRA 2003»

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

15 years 7 months ago

Download cogprints.org

Christophe Coué, Thierry Fraichard, Pierre ...

claim paper

Read More »

131

click to vote

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers