×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of simon-townsend
ESRC Research Methods Festival 2010 Carole Sutton (University of Plymouth) & Malcolm Williams (Cardiff University)
212 views
ICLP'02 Tutorial - Copenhagen1 Program Transformations for Automated Verification Abhik Roychoudhury (National University of Singapore) I.V. Ramakrishnan.
224 views
Efficient Software Test Case Generation Using genetic Algorithm Based Graph Theory By: Dr. Velur Rajappa Arun Birabar Satanik panda.
215 views
NETWORK VERIFICATION: WHEN HOARE MEETS CERF George Varghese and Nikolaj Bjørner Microsoft Research 1 FOR PUBLIC CLOUDS, PRIVATE CLOUDS, ENTERPRISE NETWORKS,
218 views
Portals & Portlets 2003 GridSphere: A Portal Framework An Overview Jason Novotny
[email protected]
@aei.mpg.de Michael Russell
[email protected]
@aei.mpg.de.
219 views
Bellwork Solve for x 5x+3 3x+1 26 No Clickers. Bellwork Solution Solve for x 5x+3 3x+1 26.
224 views
Safety 4900 CMSU Living with High Risk Technologies Charles Perrow, “Normal Accidents”
218 views
Designing Games for Distributed Optimization Na Li and Jason R. Marden IEEE Journal of Selected Topics in Signal Processing, Vol. 7, No. 2, pp. 230-242,
223 views