Andrew D. Black

Learn More
Due to its high spatial resolution, broad spatial coverage, and cost-effectiveness, commercial satellite imagery is rapidly becoming a key component of biological monitoring in the Antarctic. While considerable success in surveying emperor penguins (Aptenodytes forsteri) has been facilitated by their large size and the visual simplicity of their habitat,(More)
  • Ki Ahn, Yung, Tom Shrimpton, Andrew Black, Nirupama Bulusu, James G Hook +3 others
  • 2007
We verify some correctness properties of the DASH cache coherence protocol using Ωmega. Ωmega is a language with a rich type system featuring GADTs, type functions, and user-guided type checking rules. Cache coherence protocols have both safety properties and liveness properties. We show how to describe some of the safety properties of DASH cache coherence(More)
  • 1