Start Search Over

Active Search Criteria:

Displaying items 31 - 40 of 157
sorted by

31 A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains

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

32 COMPASS: A Community-driven Parallelization Advisor for Sequential Software

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

33 Configuration Fuzzing for Software Vulnerability Detection

Author(s):
Dai, Huning; Murphy, Christian; Kaiser, Gail E.
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:9314

34 Improving the Quality of Computational Science Software by Using Metamorphic Relations to Test Machine Learning Applications

Author(s):
Xie, Xiaoyuan; Ho, Joshua; Murphy, Christian; Kaiser, Gail E.; Xu, Baowen; Chen, T. Y.
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29618

35 Metamorphic Runtime Checking of Non-Testable Programs

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

36 Metamorphic Runtime Checking of Non-Testable Programs

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

37 Multi-perspective Evaluation of Self-Healing Systems Using Simple Probabilistic Models

Author(s):
Griffith, Rean; Kaiser, Gail E.; López, Javier Alonso
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:9290

38 Rapid Parallelization by Collaboration

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

39 weHelp: A Reference Architecture for Social Recommender Systems

Author(s):
Sheth, Swapneel Kalpesh; Arora, Nipun; Murphy, Christian; Kaiser, Gail E.
Date:
2009
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:9299

40 A Distance Learning Approach to Teaching eXtreme Programming

Author(s):
Murphy, Christian; Phung, Dan; Kaiser, Gail E.
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:29543

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