Search Sciweavers | Sciweavers

1499 search results - page 49 / 300

» Chopping Concurrent Programs

click to vote

SENSYS
2006
ACM

104views Sensor Networks» more SENSYS 2006»

Abstractions for safe concurrent programming in networked embedded systems

14 years 2 months ago

Download selab.csuohio.edu

William P. McCartney, Nigamanth Sridhar

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 2 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

click to vote

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

14 years 1 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

14 years 1 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers