 | ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1993-05.ps.gz, 19940912
Specification and Refinement of a Message Router Technical Report UMCIS{1994{05 H. Conrad Cunningham cunningham@cs.olemiss.edu Yinxiu Cai Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA September |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1994-05.ps.gz, 19940912
Feijen's Table of Cubes Problem Technical Report UMCIS{1994{05 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA 8 March 1994 Copyright c 1994 by H. |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1993-09.ps.gz, 19940912
fpg first = len = psum = fpg 1 first = 1 len = 2 psum = 4 fpg 2 first = 3 len psum ffl ffl fflffl fpg g first len psum FPGT fp 1 size = 2 psum = 2 alloc fp 2 size = 2 psum = 4 alloc fp 3 size = 4 psum = 8 alloc ffl ffl fflffl fp m |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1993-09.figure.ps.gz, 19940912
Processor Allocation for Parallel Object-Oriented Programs I-Ling Yen Menkae Jeng Ing-Ray Chen Department of Computer Science IBM Corp, H74/281 Dept. of Computer & Infor.Science Michigan State University 5600 Cottle Road University of Mississippi East Lansing, MI 48824-1027 San Jose, CA 95193 Unive |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1994-09.ps.gz, 19940912
Formal Methods in Functional Programming Technical Report UMCIS{1994{09 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA 29 June 1994 Paper accepted by |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1995-01.ps, 19950822
Notes on Functional Programming with Gofer Technical Report UMCIS{1995{01 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA August 1995 (Replaces |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1993-04.ps, 19960104
Notes on Concurrent Programming with PCN (Notes to Accompany Chandy & Taylor) Technical Report UMCIS{1993{04 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1994-02.ps.gz, 19960606
A Programmer's Introduction to Predicate Logic Technical Report UMCIS{1994{02 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA February 1994 Revised |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1996-02.ps, 19960606
PCN Solutions to the Racetrack Problem Technical Report UMCIS{1996{02 H. Conrad Cunningham Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA March 1996 Copyright c 1996 by H. Conrad Cunningham |
| ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1996-01.ps, 19960606
The Dining Philosophers' Problem: A Monitor-Based Solution in PCN Technical Report UMCIS{1996{01 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Methods Research Group Department of Computer and Information Science University of Mississippi 302 Weir Hall University, Mississippi 38677 USA March |
