Sciweavers

10585 search results - page 89 / 2117

» The Orc Programming Language

23

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

14 years 28 days ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

15

IFIP
1993
Springer

83views Programming Languages» more IFIP 1993»

What is a Deadlock?

14 years 28 days ago

What is a Deadlock?

Download cs.gmu.edu

Y. C. Tay

claim paper

Read More »

19

IFIP
1993
Springer

79views Programming Languages» more IFIP 1993»

Uniform Co-Scheduling Using Object-Oriented Design Techniques

14 years 28 days ago

Uniform Co-Scheduling Using Object-Oriented Design Techniques

Download choices.cs.uiuc.edu

Nayeem Islam, Roy H. Campbell

claim paper

Read More »

19

IFIP
1993
Springer

139views Programming Languages» more IFIP 1993»

Automatic Synthesis of Fast Compact Asynchronous Control Circuits

14 years 28 days ago

Automatic Synthesis of Fast Compact Asynchronous Control Circuits

Download kdstevens.com

Al Davis, Bill Coates, Ken Stevens

claim paper

Read More »

21

IFIP
1993
Springer

85views Programming Languages» more IFIP 1993»

Introduction and Overview

14 years 28 days ago

Introduction and Overview

Download assets.cambridge.org

Bernard Levrat

claim paper

Read More »

« Prev « First page 89 / 2117 Last » Next »