Browne, James C. - Department of Computer Sciences, University of Texas at Austin

• Efficient Peer-to-Peer Keyword Searching Patrick Reynolds and Amin Vahdat
• Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
• Project Directions CS371S Fall 2006
• SystemsModeling Parallel/Distributed
• 2/3/2000 Systems Modeling Spring 2000 1 Basics of Queuing Network Models
• Solving Range Queries in a Distributed System Praveen Yalagandula
• Integrated State Space Reduction for Model Checking Executable Object-oriented Software
• Programming Serverless,
• and Scott G. Miller TheodoreW. Hong
• 8/30/2001 Parallel Programming -Fall 2001 1 Models of Parallel Computation
• 8/28/2008 Overview Lecture 1 Unification of Verification and Validation Methods
• Airport Tower Automation With the construction of Bergstrom International Airport in South Austin, the FAA has
• Software for Managing Pay Per View TV The Rapacious Monopoly cable company is setting up a Pay per View operation for first
• Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems
• A Scalable Content-Addressable Network Sylvia Ratnasamy1 2
• 10/5/00 Parallel Programming 1 Object Models and EventSequenced Model of Programming
• PARALLEL IMPLEMENTATION OF BEAMFORMER COEFFICIENT COMPUTATIONS
• 9/12/2000 Elements of Software Fall 2000 1 Scenario Analysis
• 10/10/2000 Elements of Software Fall 2000 1 Java I/O Part 1
• 9/19/2000 Elements of Software Fall 2000 1 Interfaces and Abstract Classes
• Compilation of Constraint Programs with NonCyclic and Cyclic Dependencies to Procedural Parallel Programs
• Performance Performance
• SystemsModeling Abstractions
• SystemsModeling Introduction
• Survey and Taxonomy of Grid Resource Management Systems Chaitanya Kandagatla
• SCHOOL OF MECHANICAL, MANUFACTURING & MEDICAL ENGINEERING
• A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
• Compilation ajohn@cs.utexas.edu http://www.cs.utexas.edu/users/ajohn Advisor
• Programming ProgrammingModel
• 10/5/2000 Elements of Software Fall 2000 1 Collections Framework Part 3
• Inheritance WordFrequency
• [56] R. Sahner and K. Trivedi. A software tool for learning about stochastic models. IEEE Transactions on Education, 36(1):56{61, Feb. 1993.
• A Prescription Management System The goal is to construct an information system to assist a pharmacist in filling and
• Distributed Programming with Associative Broadcast Bryan Bayerdorffer \Lambda
• Concurrency Concurrency
• 10/3/2000 Elements of Software Fall 2000 1 Collections Framework Part 2
• 10/5/00 Parallel Programming 1 Functional Parallel Programming
• 9/12/2002 Internet and Grid Computing -Fall Search/Discovery (and Insertion) in Distributed Systems
• 1. Names and Communications Construct an algorithm for reaching agreement among unreliable processes in
• 3/21/2000 Systems Modeling -Spring 2000 1 Parallel/Distributed Discrete Event Simulation
• 9/21/2000 Elements of Software Fall 2000 1 Interfaces and Abstract Classes
• A Meet Scorekeeping System This project is concerned with a computerized scoring system you have volunteered to
• 9/10/2007 Design For Verification 1 Specifications
• 10/24/00 Parallel Programming 1 Java and Threads
• Efficient Search in Peer-to-Peer Networks Beverly Yang
• Reasoning About Naming Systems The Pennsylvania State University
• 4/24/2006 Unified V&V Course 1 Unifying Verification and Validation of
• 8/28/2008 Unified V&V Course 1 Unifying Verification and Validation of
• Kademlia: A Peer-to-peer Information System Based on the XOR Metric
• A Portable Concurrent Object Oriented System Based On C++* Laxmikant V. Kale
• 9/21/00 Parallel Programming 1 Linda A Programming System
• Performance Algorithms,Measurement
• Parallel Solutions for Dynamic Focussing of Large Acoustic Arrays Karen P. Watkins
• 1/14/2001 Systems Modeling -Spring 2003 1 Introduction to Modeling
• 9/26/2000 Elements of Software Fall 2000 1 Design of Object Behavior
• BROADWAY:ASOFTWAREARCHITECTUREFOR SCIENTIFIC COMPUTING
• MATRIX MULTIPLY SCALAR FORMULATION
• A Keyword-Set Search System for Peer-to-Peer Omprakash D Gnawali
• 10/18/2001 Parallel Programming Fall 2001 Parallelizing Compiler Transformations
• International Journal of Parallel Programming, Vol. 29, No. 4, 2001 Support for Implementation of
• MARCH 1999 SIMULATION 1 TECHNICAL ARTICLE
• 9/10/2002 Internet/Grid Computing -Fall 2002 1 What is Performance for Internet/Grid Computation?
• Desktop Grid Computing Ashok Adiga
• FASD: A Fault-tolerant, Adaptive, Scalable, Distributed Search Engine
• Export Dictionary Local Dictionary
• 2/26/2002 CS377 -Spring 2002 1 Parallel Matrix Multiply
• 10/11/2001 CS392c -Performance Of Parallel Performance of Parallel Programs
• 2/27/2001 Systems Modeling -Spring 2001 1 Availability and Performability
• A Survey of Secure, Fault-tolerant Distributed File Systems Piyush Agarwal
• Peer-to-Peer Data Sharing Among LabVIEW Nodes Sadia Malik
• Writing Grid Service Using GT3 Core wangling@mail.utexas.edu
• aO' Ilrtllel Kenneth S. Rubin ancl Aclele Golclberg
• Chapter 1. Introduction to iUMLite 2.20 Through this lecture we will explore the executable UML formalism and how it is supported by
• GroupNumber Student Project 1 BALOUGH; STEVEN PAUL Airport Tower Management
• Project Directions CS371S Fall 2005
• Distributed Pagerank for P2P Karthikeyan Sankarlingam,
• 9/11/2003 Internet and Grid Computing -Fall Introduction to P2P Systems
• Property Specifications Lecture 1 Table of Contents
• Derivation of xUML Models Multiple Relationships
• Q. Yang and G. Webb (Eds.): PRICAI 2006, LNAI 4099, pp. 1155 1159, 2006. Springer-Verlag Berlin Heidelberg 2006
• Revista Avances en Sistemas e Informtica, Vol.4 No. 2, Septiembre de 2007, Medelln, ISSN 1657-7663 Edicin Especial: II Congreso Colombiano de Computacin CCC2007
• 9/2/2008 Design For Verification 1 Property Specifications
• 9/4/2008 Unification of Verification and Property Specifications
• Complex Queries in DHT-based Peer-to-Peer Networks Matthew Harren
• 1/18/2005 Overview Lecture 1 Unification of Verification and Validation Methods
• Solving Quarto with JXTA and JNGI Matthew Shepherd
• 1/23/2003 Parallel Programming 1 Formulation of Parallel Computations
• Eventbased Composition of Concurrent Raju Pandey James C. Browne
• Program Transformation and Runtime Support for Threaded MPI Execution on Shared
• Programming Definitions Model
• 10/24/2000 Elements of Software Fall 2000 1 Design Patterns and Reusable Components
• From Legion to Avaki: The Persistence of Vision Andrew S. Grimshaw
• Freenet: A Distributed Anonymous Information Storage and Retrieval System
• An Annotation Language for Optimizing Software Libraries \Lambda Samuel Z. Guyer
• A Compositional Approach to Concurrent ObjectOriented Programming Raju Pandey J. C. Browne
• Titanium: A HighPerformance Java Dialect \Lambda Kathy Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto,
• 9/3/2008 CS371S Fall 2008 Model Model Derivation
• arallel discrete event simu-lation (PDES), sometimes
• Compiler Transformations for HighPerformance Computing DAVID F. BACON, SUSAN L. GRAHAM, AND OLIVER J. SHARP
• Programming http://java.sun.com/docs/books/tutorial/applet/overview/index.html
• 9/14/2000 Elements of Software Fall 2000 1 Exceptions in Java
• Locality Based Protocol for MultiWriter Replication systems Department of Computer Science
• SCHOOL OF MECHANICAL, MANUFACTURING & MEDICAL ENGINEERING
• Distributed Object Location in a Dynamic Network Kirsten Hildrum, John D. Kubiatowicz, Satish Rao and Ben Y. Zhao
• 9/28/2000 Elements of Software Fall 2000 1 Frameworks Collections Framework
• 9/14/2008 CS371S Fall 2008 -OBA OBJECT BEHAVIOR ANALYSIS
• 9/8/2008 CS371S -Fall 2008 Behavior and State Machines
• The CODE 2.0 Graphical Parallel Programming Language* Peter Newton
• 9/26/2007 Model Based Testing 1 Model Based Testing
• 92 Computer nnounced in July 2000, .NET,
• Jonathan Neitz Email: neitz@cpsc.ucalgary.ca