Sciweavers

800 search results - page 24 / 160

» Programming Models for Concurrency and Real-Time

127

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 10 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

116

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 6 months ago

Use concurrent programming models to motivate teaching of programming languages

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

119

TOPLAS
2008

77views more TOPLAS 2008»

A programming model for concurrent object-oriented programs

15 years 6 months ago

A programming model for concurrent object-oriented programs

Download lirias.kuleuven.be

Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...

claim paper

Read More »

176

ECOOP
2008
Springer

100views Programming Languages» more ECOOP 2008»

Externalizing Java Server Concurrency with CAL

15 years 8 months ago

Externalizing Java Server Concurrency with CAL

Download www.cse.ust.hk

One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...

Charles Zhang, Hans-Arno Jacobsen

claim paper

Read More »

120

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 10 months ago

Formal modeling of synchronization methods for concurrent objects in Ada 95

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

« Prev « First page 24 / 160 Last » Next »