NEWSLETTER No 17 News fromWelcome notes from Dawn Leslie, WIPG Chair Welcome to our first Newsletter of the New Year, which provides an update of our recent activities as well as some of our plans for 2013.

Source URL: www.chiaramingarelli.com

• Fellows of the Royal Society
• Colleges of the University of Cambridge
• Science and technology in the United Kingdom
• Institute of Physics
• Daphne Jackson Trust
• Women in science
• Athene Donald
• Julia Higgins
• Heather Williams
• Brian Cox

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: rjoshi.org

• Computing
• Computer architecture
• Concurrent computing
• Formal methods
• Theoretical computer science
• Cache coherency
• Instruction set architectures
• Concurrency
• TLA+
• Model checking
• Cache coherence
• Specification language

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: lamport.azurewebsites.net

• Concurrent computing
• Distributed algorithms
• Concurrency
• Mathematics
• Computing
• Algorithm
• Mathematical logic
• Theoretical computer science
• Distributed computing
• Deadlock
• Chandy-Lamport algorithm
• Virtual synchrony

Presseinformation Neuerscheinung: Durch die Hölle von Auschwitz und Dachau Ein ungarischer Junge erkämpft sein Überleben Leslie Schwartz

Source URL: www.lit-verlag.at

Configuring irace using surrogate configuration benchmarks Nguyen Dang1, Leslie Pérez Cáceres2, Thomas Stützle2, Patrick De Causmaecker1 1 CODeS, imec - ITEC, KU Leuven, Belgium 2

Source URL: www.coseal.net

Draft VIRGINIA CODE COMMISSION Monday, November 20, :00 a.m. Richmond, VirginiaMembers Present: John S. Edwards; James M. LeMunyon; Ryan T. McDougle; Gregory D. Habeeb; Robert L. Calhoun; Leslie L. Lilley

Source URL: codecommission.dls.virginia.gov

The “Uva” Mystery Leslie Bouterie Database Discoveries – Contribution # 21 Transferware Collectors Club October, 2015 www.transferwarecollectorsclub.org

Source URL: www.transcollectorsclub.org

A MiniZinc Tutorial Kim Marriott and Peter J. Stuckey with contributions from Leslie De Koninck and Horst Samulowitz Contents 1 Introduction

Source URL: www.minizinc.org

MONELL CHEMICAL SENSES CENTER Advancing Discovery in Taste and Smell Media contact: Leslie Stein, or Unique Sensory Responses to the Pediatric HIV Medication Kaletra

Source URL: www.monell.org

Risk Anulvsis, 5. No. 4, I985 Letter to the Editor Toxicity and Carcinogenic Potency Leslie Bernstein,“) Lois S. Gold,(2) Bruce N. Arnes,(’) Malcolm C. Pike,(3) and David G.

Source URL: toxnet.nlm.nih.gov