Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 1,109
sorted by

1 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

2 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

3 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

4 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

5 Reconstructing Pong on an FPGA

Author(s):
Edwards, Stephen A.
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:18756

6 Focal Sweep Camera for Space-Time Refocusing

Author(s):
Zhou, Changyin; Miau, Daniel; 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:15386

7 Effectiveness of Teaching Metamorphic Testing

Author(s):
Mishra, Kunal Swaroop; Kaiser, Gail
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:15366

8 Diversity Maximization Under Matroid Constraints

Author(s):
Abbassi, Zeinab; Mirrokni, Vahab S.; Thakur, Mayur
Subject:
Computer Science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:15365

9 Increasing Student Engagement in Software Engineering with Gamification

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:15273

10 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

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