Start Search Over

Active Search Criteria:

Displaying items 41 - 50 of 155
sorted by

41 CPU Torrent -- CPU Cycle Offloading to Reduce User Wait Time and Provider Resource Requirements

Author(s):
Sheth, Swapneel Kalpesh; 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:29587

42 Deux: Autonomic Testing System for Operating System Upgrades

Author(s):
Wu, Leon L.; Kaiser, Gail E.; Nieh, Jason; Murphy, Christian
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:29593

43 Distributed eXplode: A High-Performance Model Checking Engine to Scale Up State-Space Coverage

Author(s):
Keetha, Nageswar; Wu, Leon Li; Kaiser, Gail E.; Yang, Junfeng
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:29607

44 genSpace: Exploring Social Networking Metaphors for Knowledge Sharing and Scientific Collaborative Work

Author(s):
Murphy, Christian; Sheth, Swapneel Kalpesh; Kaiser, Gail E.; Wilcox, Lauren
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:29589

45 Improving the Dependability of Machine Learning Applications

Author(s):
Murphy, Christian; 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:29605

46 Properties of Machine Learning Applications for Use in Metamorphic Testing

Author(s):
Murphy, Christian; Kaiser, Gail E.; Hu, Lifeng
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:29550

47 Quality Assurance of Software Applications Using the In Vivo Testing Approach

Author(s):
Murphy, Christian; Kaiser, Gail E.; Vo, Ian; Chu, Matt
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:29600

48 Retina: Helping Students and Instructors Based on Observed Programming Activities

Author(s):
Murphy, Christian; Kaiser, Gail E.; Loveland, Kristin; Hasan, Sahar
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:29595

49 The In Vivo Approach to Testing Software Applications

Author(s):
Murphy, Christian; Kaiser, Gail E.; Chu, Matt
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:29546

50 Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles

Author(s):
Murphy, Christian; Shen, Kuang; 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:29601

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