×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [irp irp]
Home >
irp irp
The Static Driver Verifier Research Platform Thomas Ball 1, Ella Bounimova 1, Vladimir Levin 2, Rahul Kumar 2, and Jakob Lichtenberg 2 1 Microsoft Research.
217 views
Poirot – A Concurrency Sleuth Shaz Qadeer Research in Software Engineering Microsoft Research.
233 views
The Climate Hazards Group Infrared Precipitation with Stations (CHIRPS) Dataset: Quasi-Global Precipitation Estimates for Drought Monitoring and Trend.
225 views
March 22 & 23, 2006 Salt Lake City Utah
45 views
Poirot – A Concurrency Sleuth
89 views