Searching for authors named "Robert Palmer" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Partial order reduction assisted parallel modelchecking (full version
- …Partial Order Reduction Assisted Parallel Model-Checking Robert Palmer and Ganesh Gopalakrishnan…
- Cited by 5 (1 self) – Add To MetaCart
-
Status Report of a High Luminosity Muon Collider and Future Research and Development Plans
- … # Robert B. Palmer Brookhaven National Laboratory, Upton, NY 11973 Alvin Tollestrup Fermi National…
- Cited by 1 (0 self) – Add To MetaCart
-
Final Focus System for a Muon Collider: A Test Model
- …BNL# 62759 Final Focus System for a Muon Collider: A Test Model Juan C. Gallardo and Robert B…
- Cited by 1 (1 self) – Add To MetaCart
-
Status Report of a High Luminosity Muon Collider and Future Research and Development Plans
- … # Robert B. Palmer Brookhaven National Laboratory, Upton, NY 11973 Alvin Tollestrup Fermi National…
- Add To MetaCart
-
The communication semantics of the message passing interface
- …The Communication Semantics of the Message Passing Interface Robert Palmer, Ganesh Gopalakrishnan…
- Cited by 1 (1 self) – Add To MetaCart
-
R.M.: An approach to formalization and analysis of message passing libraries
- …An Approach to Formalization and Analysis of Message Passing Libraries ⋆ Robert Palmer, Michael De…
- Cited by 3 (1 self) – Add To MetaCart
-
Practical Model Checking Method for Verifying Correctness of MPI Programs
- … Gopalakrishnan 1 , Robert M. Kirby 1 , Robert Palmer 1 , Rajeev Thakur 2 , and William Gropp 2 1 School…
- Cited by 7 (3 self) – Add To MetaCart
-
unknown title
- … in humans Ralph B. Dell,' Rajasekhar Ramakrishnan, Robert H. Palmer, and DeWitt S. Goodman Departments…
- Add To MetaCart
-
High-Energy High-Luminosity μ+μ- Collider Design
- …HIGH-ENERGY HIGH-LUMINOSITY µ + µ − COLLIDER DESIGN Robert B. Palmer, Richard Fernow, Juan C…
- Add To MetaCart
-
Monte Carlo Simulations of Muon Production
- …MONTE CARLO SIMULATIONS OF MUON PRODUCTION Robert B. Palmer, Juan C. Gallardo, Richard C. Fernow…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
