Search Sciweavers | Sciweavers

1550 search results - page 63 / 310

» Erlang for Concurrent Programming

128

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

15 years 10 months ago

Download ceti.cse.ohio-state.edu

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

claim paper

Read More »

122

click to vote

ICDCS
1996
IEEE

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

Sentries for the Execution of Concurrent Programs

15 years 10 months ago

Download webspace.utexas.edu

Sarah E. Chodrow, Mohamed G. Gouda

claim paper

Read More »

171

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

Download www.cs.ucy.ac.cy

George A. Papadopoulos

claim paper

Read More »

131

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

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

145

click to vote

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers