Login / Signup
Joseph Blomstedt
Publication Activity (10 Years)
Years Active: 2007-2012
Publications (10 Years): 0
Top Topics
Concurrent Systems
Data Model
Metadata
Petri Net
Top Venues
Erlang Workshop
</>
Publications
</>
Joseph Blomstedt
Hansei: property-based development of concurrent systems.
Erlang Workshop
(2012)
Alex Shye
,
Joseph Blomstedt
,
Tipp Moseley
,
Vijay Janapa Reddi
,
Daniel A. Connors
PLR: A Software Approach to Transient Fault Tolerance for Multicore Architectures.
IEEE Trans. Dependable Secur. Comput.
6 (2) (2009)
Alex Shye
,
Tipp Moseley
,
Vijay Janapa Reddi
,
Joseph Blomstedt
,
Daniel A. Connors
Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance.
DSN
(2007)