Start Search Over

Active Search Criteria:

Displaying items 11 - 16 of 16
sorted by

11 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

12 Analysis of Clocks in X10 Programs (Extended)

Author(s):
Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A.
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29608

13 Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads

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

14 Static Deadlock Detection for the SHIM Concurrent Language

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

15 Static Deadlock Detection in SHIM with an Automata Type Checking System

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron
Date:
2008
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29609

16 A JPEG Decoder in SHIM

Author(s):
Vasudevan, Nalini; Edwards, Stephen A.
Date:
2006
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29485

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