Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Sean
    Last name: Callanan
    DBLP: 59/5552
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 7 of 7  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok.
    Software monitoring with controllable overhead.
    STTT 2012, Volume 14 (0) 2012
    Conference paper
    Ross Foley, William Gallagher, Sean Callanan, Pádraig Cunningham.
    A Machine Learning System for Identifying Hypertrophy in Histopathology Images.
    Artificial Intelligence and Cognitive Science - 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok.
    Software monitoring with bounded overhead.
    22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008 2008 (0) 2008
    Conference paper
    Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok.
    Model Predictive Control for Memory Profiling.
    21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA 2007 (0) 2007
    Conference paper
    Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok.
    Compiler-assisted software verification using plug-ins.
    20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece 2006 (0) 2006
    Conference paper
    Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok.
    Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 164 (0) 2006
    Conference paper
    Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger.
    Efficient and Safe Execution of User-Level Code in the Kernel.
    19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA 2005 (0) 2005
    Show item 1 to 7 of 7  

    Your query returned 7 matches in the database.