Search Sciweavers | Sciweavers

2302 search results - page 52 / 461

» The Evolution of Concurrent Programs

143

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 12 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

145

Voted

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

15 years 11 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

141

Voted

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 11 months ago

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

Kazunori Ueda

claim paper

Read More »

137

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

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

164

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers