Tuttle, Debi[removed]PST8

Source URL: www.registrar.caltech.edu

NPS Form[removed]OMB No, [removed]Expires[removed]

Source URL: pdfhost.focus.nps.gov

• Globe
• Arizona
• National Building
• United States Post Office
• Federal Building
• Elbert P. Tuttle United States Court of Appeals Building
• National Register of Historic Places in Scott County
• Iowa
• United States Post Office and Courthouse–Globe Main
• Aspen City Hall
• Geography of the United States
• National Register of Historic Places in Michigan
• Government

Leadership Advisory: 2014 Data Review & Process John Kraman, Executive Director OSDE Office of Student Information January 24, 2014 Francis Tuttle Tech Center

Source URL: ok.gov

• Science
• Data quality
• Information science
• Information

ARTICLE IN PRESS Icarus xxx[removed]xxx–xxx Contents lists available at ScienceDirect Icarus

Source URL: echo.jpl.nasa.gov

• Asteroid
• Tuttle
• Space
• Astronomy
• Motion
• Comets
• 8P/Tuttle
• Doppler imaging

The State of the Law 2008: A Cumulative Report on Legal Developments Affecting Government Partnerships with Faith-Based Organizations Ira C. Lupu and Robert W. Tuttle Co-Directors of Legal Research, The Roundtable on Re

Source URL: www.rockinst.org

• Presidency of Barack Obama
• White House Office
• White House Office of Faith-Based and Neighborhood Partnerships
• Government
• American studies
• Faith-based
• Hein v. Freedom From Religion Foundation
• Establishment Clause
• United States Constitution
• Separation of church and state
• Religion in the United States
• Executive Office of the President of the United States

An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

Source URL: www.markrtuttle.com

• Distributed computing
• I/O Automaton
• Computing
• Computer science
• Finite-state machine
• Automaton
• Büchi automaton
• Automata theory
• Models of computation
• Theoretical computer science

Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology

Source URL: www.markrtuttle.com

• Arbiter
• Computing
• Actor model
• Computer science
• Software engineering
• Automata theory
• Models of computation
• Finite-state machine

A Theory of Redo Recovery David Lomet Mark Tuttle Microsoft Research

Source URL: www.markrtuttle.com

• Graph
• Function
• Connectivity
• Algorithms for Recovery and Isolation Exploiting Semantics
• Path decomposition
• Median graph
• Graph theory
• Mathematics
• Theoretical computer science

Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the specification language TLA+ to ana

Source URL: www.markrtuttle.com

• Parallel computing
• Cache coherence
• Cache
• Communications protocol
• DEC Alpha
• Temporal logic of actions
• Model checking
• Leslie Lamport
• Correctness
• Computing
• Concurrent computing
• Cache coherency

1 Verifying Correctness of Transactional Memories Ariel Cohen (CS/CIMS/NYU, [removed]) John W. O’Leary (Intel, [removed]) Amir Pnueli (CS/CIMS/NYU, [removed]) Mark R. Tuttle (Intel, tuttle@

Source URL: www.markrtuttle.com

• Programming language implementation
• Software transactional memory
• Transactional memory
• Software engineering
• Structure
• Mathematics
• Concurrency control
• Transaction processing
• Computing