Start Search Over

Active Search Criteria:

Displaying items 151 - 155 of 155
sorted by

151 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

152 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

153 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

154 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

155 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

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