Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Mitchell L.
    Last name: Neilsen
    DBLP: 78/4745
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 33  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips.
    Secure RTOS Architecture for Building Automation.
    Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, CPS-SPC 2015, Denver, Colorado, USA, October 16, 2015 2015 (0) 2015
    Conference paper
    Mitchell L. Neilsen, Darrel M. Temple, Gregory J. Hanson.
    Integrating Dam Breach Modules to Analyze Earth Embankment Dams.
    Proceedings of the 2010 International Conference on Scientific Computing, CSC 2010, July 12-15, 2010, Las Vegas, Nevada, USA 2010 (0) 2010
    Conference paper
    Mitchell L. Neilsen.
    Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines.
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2010, Las Vegas, Nevada, USA, July 12-15, 2010, 2 Volumes 2010 (0) 2010
    Conference paper
    Mitchell L. Neilsen.
    Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds.
    Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, CAINE 2010, November 8-10 2010, Imperial Palace Hotel, Las Vegas, Nevada, USA 2010 (0) 2010
    Conference paper
    Mitchell L. Neilsen.
    Model Checking Token-Based Distributed Mutual Exclusion Algorithms.
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2009, Las Vegas, Nevada, USA, July 13-17, 2009, 2 Volumes 2009 (0) 2009
    Conference paper
    Mitchell L. Neilsen.
    Verification of Distributed Mutual Exclusion Algorithms.
    ISCA 21st International Conference on Parallel and Distributed Computing and Communication Systems, PDCCS 2008, September 24-26, 2008, Holiday Inn Downtown-Superdome, New Orleans, Louisiana, USA 2008 (0) 2008
    Conference paper
    Mitchell L. Neilsen.
    A generalized token-based mutual exclusion algorithm for wireless networks.
    Proceedings of the ISCA 20th International Conference on Parallel and Distributed Computing Systems, September 24-26, 2007, Las Vegas, Nevada, USA 2007 (0) 2007
    Conference paper
    Mitchell L. Neilsen.
    Flexible Real-time Block Transfer Protocols.
    Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, August 13-15, 2003, Atlantis Hotel, Reno, Nevada, USA 2003 (0) 2003
    Conference paper
    Daniel Andresen, Mitchell L. Neilsen, Gurdip Singh, Prasanta K. Kalita.
    Domain-specific Metaware for Hydrologic Applications.
    International Conference on Parallel and Distributed Computing Systems, PDCS 2002, November 4-6, 2002, Cambridge, USA 2002 (0) 2002
    Conference paper
    Mitchell L. Neilsen.
    A General Block Transfer Protocol for CAN Kingdom.
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 4 2002 (0) 2002
    Show item 1 to 10 of 33  

    Your query returned 33 matches in the database.