Start Search Over

Active Search Criteria:

Displaying 1 item

1 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

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