Search Results | Academic Commons

Start Search Over

Active Search Criteria:

Content Type: Technical reports

Department: Computer Science

Displaying all 4 items

sorted by

1 Efficient, Deterministic and Deadlock-free Concurrency

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

2 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

3 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

4 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.