Departmental Reports
authored by Sanders, Beverly A.

Search Departmental Reports
By Author: 
By Time: 
Keyword search:
Browse by Year
2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001
2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
Report ID:REP-2011-516
Title:Java Memory Model-aware Model Checking
Authors:Huafeng Jin; Tuba Yavuz-Khaveci; Beverly A. Sanders
Posted:March 25, 2011
Report ID:REP-2009-480
Title:Precise Data Race Detection in a Relaxed Memory Model using Model Checking
Authors:KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders
Posted:September 4, 2009
Report ID:REP-2008-463
Title:An Infrastructure for Scalable Parallel Programs for Computational Chemistry
Authors:V. Lotrich; N. Flocke; M. Ponton; A. Perera; E. Deumens; R. J. Bartlett; B. A. Sanders
Posted:October 27, 2008
Report ID:REP-2002-328
Title:An Approach to Compositional Model Checking
Authors:Hector Andrade; Beverly A. Sanders
Posted:January 1, 2002
Report ID:REP-1999-390
Title:A Pattern Language for Parallel Application Programming
Authors:Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders
Posted:January 1, 1999
Report ID:REP-1999-377
Title:A Pattern Language for Parallel Application Programming
Authors:Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders
Posted:January 1, 1999
Report ID:REP-1998-284
Title:A Pattern Language for Parallel Application Programming
Authors:Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders
Posted:January 1, 1998
Report ID:REP-1996-233
Title:Reasoning About Program Composition
Authors:K. Mani Chandy; Beverly A. Sanders
Posted:January 1, 1996
Report ID:REP-1996-232
Title:Exploiting Historical Information about Computations
Authors:Beverly A. Sanders; K. Mani Chandy
Posted:January 1, 1996
Report ID:REP-1996-231
Title:A predicate transformer for the progress property `to-always'
Authors:Rutger M. Dijkstra; Beverly A. Sanders
Posted:January 1, 1996
Report ID:REP-1996-213
Title:An Algorithm for Distributed Location Management in Networks of Mobile Computers
Authors:Svetlana Kryukova; Berna Massingill; Beverly Sanders
Posted:January 1, 1996
Report ID:REP-1996-211
Title:Composing Leads-to Properties
Authors:David Meier; Beverly Sanders
Posted:January 1, 1996
Report ID:REP-1996-208
Title:Parallel Computing: Performance Metrics and Models
Author:Beverly A. Sanders
Posted:January 1, 1996
To submit items for this page, please log in on the CISE submit page.

About CISE

Academics

People

Research

Student Organizations

News

Help & Resources

Career Development Workshop (CDW)

Contact Us

 

Info for Students

Info for Faculty & Staff

Industrial Advisory Board