Start Search Over

Active Search Criteria:

Displaying items 1 - 10 of 1,115
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 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

6 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

7 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

8 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

9 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

10 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

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