Search the dblp DataBase
Beverly A. Sanders :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Beverly A. Sanders , Philipp A. Heuberger Distributed Deadlock Detection and Resolution with Probes. [Citation Graph (1, 0)][DBLP ] WDAG, 1989, pp:207-218 [Conf ] Beverly A. Sanders The Information Structure of Distributed Mutual Exclusion Algorithms. [Citation Graph (1, 0)][DBLP ] ACM Trans. Comput. Syst., 1987, v:5, n:3, pp:284-299 [Journal ] Berna L. Massingill , Timothy G. Mattson , Beverly A. Sanders A Pattern Language for Parallel Application Programs (Research Note). [Citation Graph (0, 0)][DBLP ] Euro-Par, 2000, pp:678-681 [Conf ] Beverly A. Sanders On the UNITY Design Decisions. [Citation Graph (0, 0)][DBLP ] Research Directions in High-Level Parallel Programming Languages, 1991, pp:50-63 [Conf ] Beverly A. Sanders An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. [Citation Graph (0, 0)][DBLP ] ICDCS, 1986, pp:314-320 [Conf ] Michel Charpentier , Beverly A. Sanders Workshop Introduction. [Citation Graph (0, 0)][DBLP ] IPDPS, 2002, pp:- [Conf ] Beverly A. Sanders , Dominique Méry Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:974-976 [Conf ] Spyros Lalis , Beverly A. Sanders Adding Concurrency to the Oberon System. [Citation Graph (0, 0)][DBLP ] Programming Languages and System Architectures, 1994, pp:328-344 [Conf ] Beverly A. Sanders A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). [Citation Graph (0, 0)][DBLP ] PODC, 1991, pp:217-230 [Conf ] YoungJoon Byun , Beverly A. Sanders A pattern-based development methodology for communication protocols. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1524-1528 [Conf ] Beverly A. Sanders Data Refinement of Mixed Specifications. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1998, v:35, n:2, pp:91-129 [Journal ] Rutger M. Dijkstra , Beverly A. Sanders A Predicate Transformer for the Progress Property `To-Always'. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1997, v:9, n:3, pp:270-282 [Journal ] Beverly A. Sanders Eliminating the Substitution Axiom from UNITY Logic. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1991, v:3, n:2, pp:189-205 [Journal ] Dominique Méry , Beverly A. Sanders Editorial Note. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2002, v:20, n:1, pp:5- [Journal ] Beverly A. Sanders The shortest path in parallel. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2001, v:77, n:2-4, pp:213-217 [Journal ] YoungJoon Byun , Beverly A. Sanders A Pattern-based Development Methodology for Communication Protocols. [Citation Graph (0, 0)][DBLP ] J. Inf. Sci. Eng., 2006, v:22, n:2, pp:315-335 [Journal ] Beverly A. Sanders , Berna L. Massingill , Svetlana Kryukova Derivation of an Algorithm for Location Management for Mobile Communication Devices. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 1998, v:8, n:4, pp:473-488 [Journal ] K. Mani Chandy , Beverly A. Sanders Predicate Transformers for Reasoning about Concurrent Computation. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1995, v:24, n:2, pp:129-148 [Journal ] Spyros Lalis , Beverly A. Sanders From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. [Citation Graph (0, 0)][DBLP ] Software - Concepts and Tools, 1995, v:16, n:1, pp:12-19 [Journal ] Beverly A. Sanders Using atomic await commands to develop concurrent programs in Java. [Citation Graph (0, 0)][DBLP ] Software - Concepts and Tools, 2000, v:19, n:4, pp:168-174 [Journal ] Berna L. Massingill , Timothy G. Mattson , Beverly A. Sanders Parallel programming with a pattern language. [Citation Graph (0, 0)][DBLP ] STTT, 2001, v:3, n:2, pp:217-234 [Journal ] Beverly A. Sanders An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1988, v:37, n:9, pp:1067-1072 [Journal ] Beverly A. Sanders An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1988, v:37, n:7, pp:779-787 [Journal ] David Meier , Beverly A. Sanders Composing leads-to properties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:243, n:1-2, pp:339-361 [Journal ] An infrastructure for scalable and portable parallel programs for computational chemistry. [Citation Graph (, )][DBLP ] Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. [Citation Graph (, )][DBLP ] JRF-E: using model checking to give advice on eliminating memory model-related bugs. [Citation Graph (, )][DBLP ] Assertional reasoning about data races in relaxed memory models. [Citation Graph (, )][DBLP ] Reengineering for Parallelism : an entry point into PLPP for legacy applications. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs