Search Sciweavers | Sciweavers

1550 search results - page 63 / 310

» Erlang for Concurrent Programming

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 7 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

click to vote

ICDCS
1996
IEEE

95views Distributed And Parallel Com...» more ICDCS 1996»

Sentries for the Execution of Concurrent Programs

15 years 7 months ago

Download webspace.utexas.edu

Sarah E. Chodrow, Mohamed G. Gouda

claim paper

Read More »

136

click to vote

PDP
1996
IEEE

177views Distributed And Parallel Com...» more PDP 1996»

Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework

15 years 7 months ago

Download www.cs.ucy.ac.cy

George A. Papadopoulos

claim paper

Read More »

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 7 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

110

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers