Found 7 datasets matching "abstract-interpretation".
-
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of...
Search relevance: 112.71 | Views last month: 1 -
Classification of Mars Terrain Using Multiple Data Sources Alan Kraut1, David Wettergreen1 ABSTRACT. Images of Mars are being collected faster than they can be analyzed by...
Search relevance: 36.71 | Views last month: 0 -
Abstract: Davenport Newberry (Davenport) has completed 8 years of exploration for geothermal energy on Newberry Volcano in central Oregon. Two deep exploration test wells were drilled by...
Search relevance: 35.41 | Views last month: 0 -
To comprehend the results of a randomized controlled trial (RCT), readers must understand its design, conduct, analysis and interpretation. That goal can only be achieved through complete...
Search relevance: 31.12 | Views last month: 3 -
This data release presents the major and trace element chemistry of rock samples collected by the U.S. Geological Survey (USGS) from trenches, channel cuts, test pits, and surface exposures of the...
Search relevance: 13.95 | Views last month: 0 -
Solar Footprints in CaliforniaThis GIS dataset consists of polygons that represent the footprints of solar powered electric generation facilities and related infrastructure in California called...
Search relevance: 5.30 | Views last month: 0
