Search Sciweavers | Sciweavers

1492 search results - page 58 / 299

» Concurrent programming in VISO

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

14 years 2 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

14 years 2 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

click to vote

VLSID
2000
IEEE

76views VLSI» more VLSID 2000»

Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming

14 years 2 months ago

Download www.ics.uci.edu

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

claim paper

Read More »

click to vote

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

14 years 2 months ago

Download users.ece.utexas.edu

Ashis Tarafdar, Vijay K. Garg

claim paper

Read More »

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers