Sciweavers

2302 search results - page 57 / 461

» The Evolution of Concurrent Programs

130

SAC
2008
ACM

111views Applied Computing» more SAC 2008»

Universal concurrent constraint programing: symbolic semantics and applications to security

15 years 5 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 »

133

OOPSLA
2010
Springer

163views Security Privacy» more OOPSLA 2010»

Concurrent programming with revisions and isolation types

15 years 4 months ago

Concurrent programming with revisions and isolation types

Download research.microsoft.com

Sebastian Burckhardt, Alexandro Baldassin, Daan Le...

claim paper

Read More »

90

SIGOPS
2010

71views more SIGOPS 2010»

Scalable concurrent hash tables via relativistic programming

15 years 4 months ago

Scalable concurrent hash tables via relativistic programming

Download linuxplumbersconf.org

Josh Triplett, Paul E. McKenney, Jonathan Walpole

claim paper

Read More »

140

CORR
2011
Springer

157views Education» more CORR 2011»

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

15 years 29 days 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 »

186

CORR
2011
Springer

221views Education» more CORR 2011»

Course on System Design (structural approach)

15 years 29 days ago

Course on System Design (structural approach)

Download www.jip.ru

—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...

Mark Sh. Levin

claim paper

Read More »

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