Search Sciweavers | Sciweavers

3837 search results - page 3 / 768

» Concurrent Engineering support in Software Engineering

134

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 10 months ago

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

Kazunori Ueda

claim paper

Read More »

151

click to vote

CODES
1999
IEEE

104views Software Engineering» more CODES 1999»

Timing coverification of concurrent embedded real-time systems

15 years 10 months ago

Download www.cs.york.ac.uk

Pao-Ann Hsiung

claim paper

Read More »

115

click to vote

AMAST
1998
Springer

83views Software Engineering» more AMAST 1998»

A Linear Metalanguage for Concurrency

15 years 10 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

129

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 10 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

115

click to vote

SIGSOFT
2008
ACM

104views Software Engineering» more SIGSOFT 2008»

Generation of concurrency control code using discrete-event systems theory

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers