Sciweavers

2466 search results - page 57 / 494

» Concurrent Clustered Programming

21

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

13 years 8 months ago

Universal concurrent constraint programing: symbolic semantics and applications to security

Download www.lix.polytechnique.fr

Carlos Olarte, Frank D. Valencia

claim paper

Read More »

20

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

13 years 7 months ago

Concurrent programming with revisions and isolation types

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

14

SIGOPS
2010

71views more SIGOPS 2010»

Scalable concurrent hash tables via relativistic programming

13 years 7 months ago

Scalable concurrent hash tables via relativistic programming

Download linuxplumbersconf.org

Josh Triplett, Paul E. McKenney, Jonathan Walpole

claim paper

Read More »

24

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

13 years 3 months ago

A family of abstract interpretations for static analysis of concurrent higher-order programs

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

35

SIGCSE
2010
ACM

166views Education» more SIGCSE 2010»

Introducing concurrency in CS 1

13 years 9 months ago

Introducing concurrency in CS 1

Download www.cs.williams.edu

Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P....

claim paper

Read More »

« Prev « First page 57 / 494 Last » Next »