| 2008 |
|---|
| 27 | | Mitchell L. Neilsen:
Verification of Distributed Mutual Exclusion Algorithms.
ISCA PDCCS 2008: 13-18 |
| 2007 |
|---|
| 26 | | Mitchell L. Neilsen:
A generalized token-based mutual exclusion algorithm for wireless networks.
ISCA PDCS 2007: 114-119 |
| 2003 |
|---|
| 25 | | Mitchell L. Neilsen:
Flexible Real-time Block Transfer Protocols.
ISCA PDCS 2003: 459-464 |
| 2002 |
|---|
| 24 | | Daniel Andresen,
Mitchell L. Neilsen,
Gurdip Singh,
Prasanta K. Kalita:
Domain-specific Metaware for Hydrologic Applications.
IASTED PDCS 2002: 411-416 |
| 23 | | Mitchell L. Neilsen:
A General Block Transfer Protocol for CAN Kingdom.
PDPTA 2002: 1596-1602 |
| 22 | EE | Yiwei Chiao,
Masaaki Mizuno,
Mitchell L. Neilsen:
A self-stabilizing quorum-based protocol for maxima computing.
Distributed Computing 15(1): 49-55 (2002) |
| 21 | EE | Gurdip Singh,
Masaaki Mizuno,
Mitchell L. Neilsen,
Donald H. Lenhert,
Naiqian Zhang:
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.
IEEE Distributed Systems Online 3(5): (2002) |
| 2000 |
|---|
| 20 | EE | Robert E. Busby Jr.,
Mitchell L. Neilsen,
Daniel Andresen:
Enhancing NWS for Use in an SNMP Managed Internetwork.
IPDPS 2000: 506- |
| 19 | | Mitchell L. Neilsen,
Darrel M. Temple:
A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale.
PDPTA 2000 |
| 18 | EE | Masaaki Mizuno,
Gurdip Singh,
Mitchell L. Neilsen:
A Structured Approach to Develop Concurrent Programs in UML.
UML 2000: 451-465 |
| 17 | | 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 15(8): 745-753 (2000) |
| 1999 |
|---|
| 16 | | Mitchell L. Neilsen,
Darrel M. Temple:
A Distributed Simulation Environment for Water Resource Site Analysis.
PDPTA 1999: 560-566 |
| 1997 |
|---|
| 15 | | Mitchell L. Neilsen:
A Dynamic Probe Strategy for Quorum Systems.
ICDCS 1997: 0- |
| 14 | | Mitchell L. Neilsen:
Properties of Nondominated K-Coteries.
Journal of Systems and Software 37(1): 91-96 (1997) |
| 1996 |
|---|
| 13 | EE | Legand L. Burge III,
Mitchell L. Neilsen:
A decentralized communication efficient distributed shared memory.
SAC 1996: 358-365 |
| 12 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".
Inf. Process. Lett. 60(6): 319 (1996) |
| 1995 |
|---|
| 11 | | Legand L. Burge III,
Mitchell L. Neilsen:
Variable-rate Timestamped Anti-entropy Protocols.
Parallel and Distributed Computing and Systems 1995: 381-384 |
| 1994 |
|---|
| 10 | | 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: 145-154 |
| 9 | | Mitchell L. Neilsen,
Masaaki Mizuno:
Nondominated k-Coteries for Multiple Mutual Exclusion.
Inf. Process. Lett. 50(5): 247-252 (1994) |
| 1993 |
|---|
| 8 | | Mitchell L. Neilsen:
Measures of Importance and Symmetry in Distributed Systems.
SPDP 1993: 448-455 |
| 7 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
A quorum-based algorithm for parameterized semaphore operations.
Journal of Systems and Software 21(1): 103-112 (1993) |
| 1992 |
|---|
| 6 | | Mahender Nelakonda,
Masaaki Mizuno,
Mitchell L. Neilsen:
A Distributed Algorithm for Parameterized Semaphore Operations.
ICCI 1992: 466-469 |
| 5 | | Mitchell L. Neilsen,
Masaaki Mizuno,
Michel Raynal:
A General Method to Define Quorums.
ICDCS 1992: 657-664 |
| 4 | | Michel Raynal,
Masaaki Mizuno,
Mitchell L. Neilsen:
Synchronization and Concurrency Measures for Distributed Computations.
ICDCS 1992: 700-707 |
| 3 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
Coterie Join Algorithm.
IEEE Trans. Parallel Distrib. Syst. 3(5): 582-590 (1992) |
| 1991 |
|---|
| 2 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
A DAG-based algorithm for distributed mutual exclusion.
ICDCS 1991: 354-360 |
| 1 | EE | Masaaki Mizuno,
Mitchell L. Neilsen,
R. Rao:
A token based distributed mutual exclusion algorithm based on quorum agreements.
ICDCS 1991: 361-368 |
