Login / Signup
Michael D. Wilder
Publication Activity (10 Years)
Years Active: 2006-2012
Publications (10 Years): 0
Top Topics
Hw Sw
Limited Resources
Consumer Electronics
Real Time Image Processing
Top Venues
HICSS
</>
Publications
</>
Michael D. Wilder
,
Robert Rinker
Improving Security Assurance of Embedded Systems through Systemic Dissolution of Architected Resources.
HICSS
(2012)
Michael D. Wilder
,
Robert Rinker
Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.
DSD
(2011)
Michael D. Wilder
The uniconc optimizing unicon compiler.
OOPSLA Companion
(2006)