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 25 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
    Conference paper
    Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen.
    A self-stabilizing quorum-based protocol for maxima computing.
    Distributed Computing 2002, Volume 15 (0) 2002
    Conference paper
    Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang.
    Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.
    IEEE Distributed Systems Online 2002, Volume 3 (0) 2002
    Conference paper
    Robert E. Busby Jr., Mitchell L. Neilsen, Daniel Andresen.
    Enhancing NWS for Use in an SNMP Managed Internetwork.
    Proceedings of the 14th International Parallel Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000 2000 (0) 2000
    Conference paper
    Mitchell L. Neilsen, Darrel M. Temple.
    A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale.
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA 2000 (0) 2000
    Conference paper
    Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen.
    A Structured Approach to Develop Concurrent Programs in UML.
    UML 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Mahesh N. Rao, David A. Waits, Mitchell L. Neilsen.
    A GIS-based modeling approach for implementation of sustainable farm management practices.
    Environmental Modelling and Software 2000, Volume 15 (0) 2000
    Conference paper
    Mitchell L. Neilsen, Darrel M. Temple.
    A Distributed Simulation Environment for Water Resource Site Analysis.
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA 1999 (0) 1999
    Conference paper
    Mitchell L. Neilsen.
    A Dynamic Probe Strategy for Quorum Systems.
    ICDCS 1997 (0) 1997
    Conference paper
    Mitchell L. Neilsen.
    Properties of Nondominated K-Coteries.
    Journal of Systems and Software 1997, Volume 37 (0) 1997
    Conference paper
    Legand L. Burge III, Mitchell L. Neilsen.
    A decentralized communication efficient distributed shared memory.
    Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996 1996 (0) 1996
    Conference paper
    Mitchell L. Neilsen, Masaaki Mizuno.
    Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".
    Inf. Process. Lett. 1996, Volume 60 (0) 1996
    Conference paper
    Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal.
    An Optimistic Protocol for a Linearizable Distributed Shared Memory System.
    Parallel Processing Letters 1996, Volume 6 (0) 1996
    Conference paper
    Legand L. Burge III, Mitchell L. Neilsen.
    Variable-rate Timestamped Anti-entropy Protocols.
    Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995 1995 (0) 1995
    Conference paper
    Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen.
    An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.
    Applications in Parallel and Distributed Computing, Proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994 1994 (0) 1994
    Conference paper
    Mitchell L. Neilsen, Masaaki Mizuno.
    Nondominated k-Coteries for Multiple Mutual Exclusion.
    Inf. Process. Lett. 1994, Volume 50 (0) 1994
    Show item 1 to 25 of 33  

    Your query returned 33 matches in the database.