| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mitchell L. Neilsen |
Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds.  |
CAINE  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines. |
PDPTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Darrel M. Temple, Gregory J. Hanson |
Integrating Dam Breach Modules to Analyze Earth Embankment Dams. |
CSC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Model Checking Token-Based Distributed Mutual Exclusion Algorithms. |
PDPTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Verification of Distributed Mutual Exclusion Algorithms. |
ISCA PDCCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
A generalized token-based mutual exclusion algorithm for wireless networks. |
ISCA PDCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Flexible Real-time Block Transfer Protocols. |
ISCA PDCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen |
A self-stabilizing quorum-based protocol for maxima computing. |
Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol |
| 1 | Mitchell L. Neilsen |
A General Block Transfer Protocol for CAN Kingdom. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Daniel Andresen, Mitchell L. Neilsen, Gurdip Singh, Prasanta K. Kalita |
Domain-specific Metaware for Hydrologic Applications. |
IASTED PDCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen |
A Structured Approach to Develop Concurrent Programs in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. Busby Jr., Mitchell L. Neilsen, Daniel Andresen |
Enhancing NWS for Use in an SNMP Managed Internetwork. (PDF / PS) |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Darrel M. Temple |
A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Darrel M. Temple |
A Distributed Simulation Environment for Water Resource Site Analysis. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Properties of Nondominated K-Coteries. |
Journal of Systems and Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
A Dynamic Probe Strategy for Quorum Systems. |
ICDCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno |
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal |
An Optimistic Protocol for a Linearizable Distributed Shared Memory System. |
Parallel Processing Letters |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Legand L. Burge III, Mitchell L. Neilsen |
A decentralized communication efficient distributed shared memory. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
database, distributed algorithm, distributed shared memory, sequential consistency, memory coherence |
| 1 | Legand L. Burge III, Mitchell L. Neilsen |
Variable-rate Timestamped Anti-entropy Protocols. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno |
Nondominated k-Coteries for Multiple Mutual Exclusion. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno |
A quorum-based algorithm for parameterized semaphore operations. |
Journal of Systems and Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell L. Neilsen |
Measures of Importance and Symmetry in Distributed Systems. |
SPDP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno |
Coterie Join Algorithm. |
IEEE Trans. Parallel Distrib. Syst. |
1992 |
DBLP DOI BibTeX RDF |
nonempty intersection, nonempty coteries, composite coterie, treecoteries, read and write quorums, replica control protocol, distributedalgorithms, distributed system, trees (mathematics), join algorithm |
| 1 | Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen |
A Distributed Algorithm for Parameterized Semaphore Operations. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal |
A General Method to Define Quorums. |
ICDCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen |
Synchronization and Concurrency Measures for Distributed Computations. |
ICDCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mitchell L. Neilsen, Masaaki Mizuno |
A DAG-based algorithm for distributed mutual exclusion. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Mizuno, Mitchell L. Neilsen, R. Rao |
A token based distributed mutual exclusion algorithm based on quorum agreements. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")