Mitchell L. Neilsen

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 12

Top Topics

Learning Frameworks

Security Problems

Top Venues

ICDCS Workshops

Publications

Venkat Margapuri, Prapti Thapaliya, Mitchell L. Neilsen
Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks. CoRR (2023)
Scott Hutchison, Daniel Andresen, Mitchell L. Neilsen, William H. Hsu, Benjamin Parsons
High Performance Computing Queue Time Prediction Using Clustering and Regression. PPAM (2) (2022)
Venkat Margapuri, Trevor Rife, Chaney Courtney, Brandon Schlautman, Kai Zhao, Mitchell L. Neilsen
Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering. IPAS (2022)
Venkat Margapuri, Trevor Rife, Chaney Courtney, Brandon Schlautman, Kai Zhao, Mitchell L. Neilsen
Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering. CoRR (2022)
Anthony Atkinson, Venkat Margapuri, Mitchell L. Neilsen
Verification of Feature Detection Through Thermal Imaging: An Extension of PiBase. IoTaIS (2022)
Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen
Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. ICMLA (2021)
Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen
Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. CoRR (2021)
Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen
PiBase: An IoT-based Security System Using Google Firebase and Raspberry Pi. IoTaIS (2021)
Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen
PiBase: An IoT-based Security System using Raspberry Pi and Google Firebase. CoRR (2021)
Venkat Margapuri, Mitchell L. Neilsen
Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks. CoRR (2021)
Venkat Margapuri, Mitchell L. Neilsen
Seed Phenotyping on Neural Networks using Domain Randomization and Transfer Learning. CoRR (2020)
Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops (2017)
Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips
Secure RTOS Architecture for Building Automation. CPS-SPC@CCS (2015)
Nathan H. Bean, Mitchell L. Neilsen, Gurdip Singh, J. D. Spears, Naiqian Zhang
Infusing system design and sensors in education. FIE (2013)
Mitchell L. Neilsen
Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines. PDPTA (2010)
Mitchell L. Neilsen, Darrel M. Temple, Gregory J. Hanson
Integrating Dam Breach Modules to Analyze Earth Embankment Dams. CSC (2010)
Mitchell L. Neilsen
Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds. CAINE (2010)
Mitchell L. Neilsen
Model Checking Token-Based Distributed Mutual Exclusion Algorithms. PDPTA (2009)
Mitchell L. Neilsen
Verification of Distributed Mutual Exclusion Algorithms. PDCCS (2008)
Mitchell L. Neilsen
A generalized token-based mutual exclusion algorithm for wireless networks. PDCS (2007)
Mitchell L. Neilsen
Flexible Real-time Block Transfer Protocols. PDCS (2003)
Daniel Andresen, Mitchell L. Neilsen, Gurdip Singh, Prasanta K. Kalita
Domain-specific Metaware for Hydrologic Applications. IASTED PDCS (2002)
Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen
A self-stabilizing quorum-based protocol for maxima computing. Distributed Comput. 15 (1) (2002)
Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum. IEEE Distributed Syst. Online 3 (5) (2002)
Mitchell L. Neilsen
A General Block Transfer Protocol for CAN Kingdom. PDPTA (2002)
Mitchell L. Neilsen, Darrel M. Temple
A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. PDPTA (2000)
Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen
A Structured Approach to Develop Concurrent Programs in UML. UML (2000)
Robert E. Busby Jr., Mitchell L. Neilsen, Daniel Andresen
Enhancing NWS for Use in an SNMP Managed Internetwork. IPDPS (2000)
Mahesh N. Rao, David A. Waits, Mitchell L. Neilsen
A GIS-based modeling approach for implementation of sustainable farm management practices. Environ. Model. Softw. 15 (8) (2000)
Mitchell L. Neilsen, Darrel M. Temple
A Distributed Simulation Environment for Water Resource Site Analysis. PDPTA (1999)
Mitchell L. Neilsen
Properties of Nondominated K-Coteries. J. Syst. Softw. 37 (1) (1997)
Mitchell L. Neilsen
A Dynamic Probe Strategy for Quorum Systems. ICDCS (1997)
Legand L. Burge III, Mitchell L. Neilsen
A decentralized communication efficient distributed shared memory. SAC (1996)
Mitchell L. Neilsen, Masaaki Mizuno
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". Inf. Process. Lett. 60 (6) (1996)
Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal
An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Process. Lett. 6 (2) (1996)
Legand L. Burge III, Mitchell L. Neilsen
Variable-rate Timestamped Anti-entropy Protocols. Parallel and Distributed Computing and Systems (1995)
Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing (1994)
Mitchell L. Neilsen, Masaaki Mizuno
Nondominated k-Coteries for Multiple Mutual Exclusion. Inf. Process. Lett. 50 (5) (1994)
Mitchell L. Neilsen
Measures of Importance and Symmetry in Distributed Systems. SPDP (1993)
Mitchell L. Neilsen, Masaaki Mizuno
A quorum-based algorithm for parameterized semaphore operations. J. Syst. Softw. 21 (1) (1993)
Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen
Synchronization and Concurrency Measures for Distributed Computations. ICDCS (1992)
Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal
A General Method to Define Quorums. ICDCS (1992)
Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen
A Distributed Algorithm for Parameterized Semaphore Operations. ICCI (1992)
Mitchell L. Neilsen, Masaaki Mizuno
Coterie Join Algorithm. IEEE Trans. Parallel Distributed Syst. 3 (5) (1992)
Mitchell L. Neilsen, Masaaki Mizuno
A DAG-based algorithm for distributed mutual exclusion. ICDCS (1991)
Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao
A token based distributed mutual exclusion algorithm based on quorum agreements. ICDCS (1991)