Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 1,110
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 Finding 9-1-1 Callers in Tall Buildings

Author(s):
Song, Wonsang; Lee, Jae; Schulzrinne, Henning G.; Lee, Byung
Date:
2013
Subject:
Computer science
Content Type:
Reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:18852

5 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

6 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

7 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

8 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

9 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

10 Bethe Bounds and Approximating the Global Optimum

Author(s):
Weller, Adrian; Jebara, Tony
Date:
2012
Subject:
Computer science
Content Type:
Reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:18853

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