Sean Keller

According to our database, Sean Keller authored at least 7 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2015

DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS.

Sean Keller, Alain J. Martin, Chris Moore

Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

2014

Robust Near-Threshold QDI Circuit Analysis and Design.

Sean Keller

PhD thesis, 2014

A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold.

Sean Keller, David Money Harris, Alain J. Martin

IEEE Trans. Very Large Scale Integr. Syst., 2014

2012

Rewriting semantics of production rule sets.

Michael Katelman, Sean Keller, José Meseguer

J. Log. Algebraic Methods Program., 2012

2010

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.

Michael Katelman, Sean Keller, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits.

Sean Keller, Michael Katelman, Alain J. Martin

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2005

SafeMPI - Extending MPI for Byzantine Error Detection on Parallel Clusters

Dmitry Mogilevsky, Sean Keller

CoRR, 2005