Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 1,109
sorted by

1 A Finer Functional Fibonacci on a Fast FPGA

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

2 Effective Dynamic Detection of Alias Analysis Errors

Author(s):
Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19675

3 FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems

Author(s):
Wu, Leon; Kaiser, Gail E.
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19679

4 Make Parallel Programs Reliable with Stable Multithreading

Author(s):
Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng; Cui, Heming; Gallagher, John; Tsai, Chia-Che
Date:
2013
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:19678

5 A Competitive-Collaborative Approach for Introducing Software Engineering in a CS2 Class

Author(s):
Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:15272

6 An Autonomic Reliability Improvement System for Cyber-Physical Systems

Author(s):
Wu, Leon Li; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14722

7 Aperture Evaluation for Defocus Deblurring and Extended Depth of Field

Author(s):
Zhou, Changyin; Nayar, Shree K.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:13017

8 Automatic Detection of Metamorphic Properties of Software

Author(s):
Hasan, Sahar
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14291

9 Chronicler: Lightweight Recording to Reproduce Field Failures

Author(s):
Bell, Jonathan Schaffer; Sarda, Nikhil; Kaiser, Gail E.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:14436

10 CloudFence: Enabling Users to Audit the Use of their Cloud-Resident Data

Author(s):
Pappas, Vasilis; Kemerlis, Vasileios; Zavou, Angeliki; Polychronakis, Michalis; Keromytis, Angelos D.
Date:
2012
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12821

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