Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 15
sorted by

1 Buffer Sharing in Rendezvous Programs

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2010
Subject:
Computer science
Content Type:
Articles
Permanent URL:
http://hdl.handle.net/10022/AC:P:10859

2 Compiling SHIM

Author(s):
Edwards, Stephen A.; Vasudevan, Nalini
Date:
2010
Subject:
Computer science
Content Type:
Articles
Publisher:
Springer
Permanent URL:
http://hdl.handle.net/10022/AC:P:10856

3 Determinism Should Ensure Deadlock-Freedom

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2010
Subject:
Computer science
Content Type:
Articles
Publisher:
USENIX
Permanent URL:
http://hdl.handle.net/10022/AC:P:10857

4 Ensuring Deterministic Concurrency through Compilation

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2010
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE
Permanent URL:
http://hdl.handle.net/10022/AC:P:10858

5 Simple and Fast Biased Locks

Author(s):
Vasudevan, Nalini; Namjoshi, Kedar S.; Edwards, Stephen A.
Date:
2010
Subject:
Computer science
Content Type:
Articles
Publisher:
Association for Computing Machinery
Permanent URL:
http://hdl.handle.net/10022/AC:P:10854

6 A Determinizing Compiler

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2009
Subject:
Computer science
Content Type:
Articles
Permanent URL:
http://hdl.handle.net/10022/AC:P:10981

7 Buffer Sharing in CSP-like Programs

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2009
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE
Permanent URL:
http://hdl.handle.net/10022/AC:P:10980

8 Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2009
Subject:
Computer science
Content Type:
Articles
Publisher:
ACM
Permanent URL:
http://hdl.handle.net/10022/AC:P:10984

9 Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

Author(s):
Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A.
Date:
2009
Subject:
Computer science
Content Type:
Articles
Publisher:
Springer
Permanent URL:
http://hdl.handle.net/10022/AC:P:10982

10 A Deterministic Multi-Way Rendezvous Library for Haskell

Author(s):
Vasudevan, Nalini; Singh, Satnam; Edwards, Stephen A.
Date:
2008
Subject:
Computer science
Content Type:
Articles
Publisher:
IEEE
Permanent URL:
http://hdl.handle.net/10022/AC:P:11201

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.