Search Sciweavers | Sciweavers

4426 search results - page 67 / 886

» Concurrent Constraint Programming

130

Voted

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 10 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

158

click to vote

VLSID
2000
IEEE

76views VLSI» more VLSID 2000»

Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming

15 years 10 months ago

Download www.ics.uci.edu

Aviral Shrivastava, Mohit Kumar, Sanjiv Kapoor, Sh...

claim paper

Read More »

149

click to vote

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

15 years 10 months ago

Download users.ece.utexas.edu

Ashis Tarafdar, Vijay K. Garg

claim paper

Read More »

129

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 »

124

Voted

ICDCS
1996
IEEE

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

Sentries for the Execution of Concurrent Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers