Search Sciweavers | Sciweavers

1492 search results - page 58 / 299

» Concurrent programming in VISO

110

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 7 months ago

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

click to vote

IPPS
2000
IEEE

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

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

15 years 7 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

133

click to vote

VLSID
2000
IEEE

76views VLSI» more VLSID 2000»

Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming

15 years 7 months ago

Download www.ics.uci.edu

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

claim paper

Read More »

116

click to vote

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

15 years 7 months ago

Download users.ece.utexas.edu

Ashis Tarafdar, Vijay K. Garg

claim paper

Read More »

Voted

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers