Mitchell L. Neilsen

Affiliations:
  • Kansas State University, Manhattan, Kansas, USA


According to our database1, Mitchell L. Neilsen authored at least 47 papers between 1991 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks.
CoRR, 2023

2022
High Performance Computing Queue Time Prediction Using Clustering and Regression.
Proceedings of the Parallel Processing and Applied Mathematics, 2022

Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering.
Proceedings of the 5th IEEE International Conference on Image Processing Applications and Systems, 2022

Verification of Feature Detection Through Thermal Imaging: An Extension of PiBase.
Proceedings of the IEEE International Conference on Internet of Things and Intelligence Systems, 2022

2021
PiBase: An IoT-based Security System using Raspberry Pi and Google Firebase.
CoRR, 2021

Dam Breach Simulation with the Material Point Method.
Comput., 2021

Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

A Novel System Architecture for Automated Field-Based Tent Systems for Controlled-Environment Agriculture.
Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2021

PiBase: An IoT-based Security System Using Google Firebase and Raspberry Pi.
Proceedings of the IEEE International Conference on Internet of Things and Intelligence Systems, 2021

Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery.
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020
Seed Phenotyping on Neural Networks using Domain Randomization and Transfer Learning.
CoRR, 2020

2019
Vetting Anti-patterns in Java to Kotlin Translation.
Proceedings of 34th International Conference on Computers and Their Applications, 2019

2017
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

2015
Secure RTOS Architecture for Building Automation.
Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

2013
Infusing system design and sensors in education.
Proceedings of the IEEE Frontiers in Education Conference, 2013

2010
Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

Integrating Dam Breach Modules to Analyze Earth Embankment Dams.
Proceedings of the 2010 International Conference on Scientific Computing, 2010

Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds.
Proceedings of the ISCA 23rd International Conference on Computer Applications in Industry and Engineering, 2010

2009
Model Checking Token-Based Distributed Mutual Exclusion Algorithms.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

2008
Verification of Distributed Mutual Exclusion Algorithms.
Proceedings of the ISCA 21st International Conference on Parallel and Distributed Computing and Communication Systems, 2008

2007
A generalized token-based mutual exclusion algorithm for wireless networks.
Proceedings of the ISCA 20th International Conference on Parallel and Distributed Computing Systems, 2007

2003
Flexible Real-time Block Transfer Protocols.
Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003

2002
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.
IEEE Distributed Syst. Online, 2002

A self-stabilizing quorum-based protocol for maxima computing.
Distributed Comput., 2002

A General Block Transfer Protocol for CAN Kingdom.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Domain-specific Metaware for Hydrologic Applications.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2000
A GIS-based modeling approach for implementation of sustainable farm management practices.
Environ. Model. Softw., 2000

A Structured Approach to Develop Concurrent Programs in UML.
Proceedings of the «UML» 2000, 2000

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, 2000

Enhancing NWS for Use in an SNMP Managed Internetwork.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999
A Distributed Simulation Environment for Water Resource Site Analysis.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997
Properties of Nondominated K-Coteries.
J. Syst. Softw., 1997

A Dynamic Probe Strategy for Quorum Systems.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996
An Optimistic Protocol for a Linearizable Distributed Shared Memory System.
Parallel Process. Lett., 1996

Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".
Inf. Process. Lett., 1996

A decentralized communication efficient distributed shared memory.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1995
Variable-rate Timestamped Anti-entropy Protocols.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994
Nondominated k-Coteries for Multiple Mutual Exclusion.
Inf. Process. Lett., 1994

An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.
Proceedings of the Applications in Parallel and Distributed Computing, 1994

1993
A quorum-based algorithm for parameterized semaphore operations.
J. Syst. Softw., 1993

Measures of Importance and Symmetry in Distributed Systems.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

1992
Coterie Join Algorithm.
IEEE Trans. Parallel Distributed Syst., 1992

Synchronization and Concurrency Measures for Distributed Computations.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A General Method to Define Quorums.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

A Distributed Algorithm for Parameterized Semaphore Operations.
Proceedings of the Computing and Information, 1992

1991
A DAG-based algorithm for distributed mutual exclusion.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

A token based distributed mutual exclusion algorithm based on quorum agreements.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991


  Loading...