Sciweavers

717 search results - page 4 / 144

» Concurrent Engineering

165

Voted

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 12 months ago

Resource-Passing Concurrent Programming

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

Kazunori Ueda

claim paper

Read More »

186

Voted

CODES
1999
IEEE

104views Software Engineering» more CODES 1999»

Timing coverification of concurrent embedded real-time systems

15 years 11 months ago

Timing coverification of concurrent embedded real-time systems

Download www.cs.york.ac.uk

Pao-Ann Hsiung

claim paper

Read More »

140

Voted

AMAST
1998
Springer

83views Software Engineering» more AMAST 1998»

A Linear Metalanguage for Concurrency

15 years 11 months ago

A Linear Metalanguage for Concurrency

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

160

Voted

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

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

15 years 11 months ago

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

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

137

SIGSOFT
2008
ACM

104views Software Engineering» more SIGSOFT 2008»

Generation of concurrency control code using discrete-event systems theory

15 years 7 months ago

Generation of concurrency control code using discrete-event systems theory

Download se.ethz.ch

Christopher Dragert, Jürgen Dingel, Karen Rud...

claim paper

Read More »

« Prev « First page 4 / 144 Last » Next »