Avoiding Hardware Aliasing

Hace 9 años 462 Visualizaciones

Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)

Hace 10 años 269 Visualizaciones

A Semantic Model for VHDL-AMS (CHARME '97)

Hace 10 años 570 Visualizaciones

Higher Order Applicative XML (Monterey 2002)

Hace 10 años 304 Visualizaciones

Raiding the Noosphere

Hace 10 años 306 Visualizaciones

Open Source Verification under a Cloud (OpenCert 2010)

Hace 10 años 318 Visualizaciones