Login / Signup
Paul Mountcastle
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Target Recognition
Watermarking Algorithm
Floating Point
Embedded Systems
Top Venues
CPP
HPEC
</>
Publications
</>
Tahina Ramananandro
,
Paul Mountcastle
,
Benoît Meister
,
Richard Lethin
A unified Coq framework for verifying C programs with floating-point computations.
CPP
(2016)
Paul Mountcastle
,
Thomas Henretty
,
Aale Naqvi
,
Richard Lethin
Embedded second-order cone programming with radar applications.
HPEC
(2015)