| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| AnalRec-ICCL98.dvi.Z | 06-Mar-1998 00:44 | 64K | ||
| AnalRec-ICCL98.ps.Z | 06-Mar-1998 01:30 | 163K | ||
| AnalRec-PruneRec-TR97.dvi.Z | 29-Jul-1997 17:29 | 71K | ||
| AnalRec-PruneRec-TR97.ps.Z | 29-Jul-1997 17:55 | 176K | ||
| Array-ICCL98.dvi.Z | 06-Mar-1998 15:40 | 90K | ||
| Array-ICCL98.ps.Z | 06-Mar-1998 15:41 | 157K | ||
| Array-TR97.dvi.Z | 29-Jul-1997 17:50 | 102K | ||
| Array-TR97.ps.Z | 29-Jul-1997 18:13 | 182K | ||
| AutoInc-ICFP98.ps.Z | 16-Jul-1998 16:35 | 42K | ||
| BDDdetect-CAV98.ps.Z | 10-Apr-1998 18:53 | 112K | ||
| BDDdetect-TR98.ps.Z | 02-Mar-1998 12:51 | 150K | ||
| Cachet-KBSE95.ps.Z | 13-Nov-1996 16:43 | 86K | ||
| Cir-PEPM95.ps.Z | 13-Nov-1996 16:54 | 102K | ||
| Cir-TR95.ps.Z | 13-Nov-1996 16:58 | 157K | ||
| Dai-POPL96.dvi.Z | 13-Nov-1996 17:00 | 68K | ||
| Dai-POPL96.ps.Z | 13-Nov-1996 17:04 | 104K | ||
| Dai-Tsd-TR95.dvi.Z | 13-Nov-1996 17:03 | 53K | ||
| Dai-Tsd-TR95.ps.Z | 13-Nov-1996 17:05 | 95K | ||
| Drv-ICYCS93.ps.Z | 13-Nov-1996 16:47 | 151K | ||
| Drv-TR93-Rvs.dvi.Z | 13-Nov-1996 17:05 | 90K | ||
| Drv-TR93-Rvs.ps.Z | 13-Nov-1996 16:47 | 151K | ||
| DynProg-ESOP99.dvi.Z | 16-Dec-1998 04:52 | 51K | ||
| DynProg-ESOP99.ps.Z | 16-Dec-1998 04:54 | 128K | ||
| DynProg-TR98.dvi.Z | 10-Oct-1998 20:33 | 51K | ||
| DynProg-TR98.ps.Z | 10-Oct-1998 20:35 | 139K | ||
| ElimDeadRec-SAS99.dvi.gz | 07-Jun-1999 21:17 | 36K | ||
| ElimDeadRec-SAS99.ps.gz | 07-Jun-1999 21:17 | 157K | ||
| ElimDeadRec-TR97.dvi.Z | 14-Mar-1999 16:39 | 52K | ||
| ElimDeadRec-TR97.ps.Z | 14-Mar-1999 16:40 | 231K | ||
| ElimDeadRec-TR98.dvi.Z | 14-Mar-1999 16:39 | 52K | ||
| ElimDeadRec-TR98.ps.Z | 14-Mar-1999 16:40 | 231K | ||
| GramSimp-TR00.dvi.gz | 26-Jul-2000 11:06 | 52K | ||
| GramSimp-TR00.ps | 26-Jul-2000 11:13 | 592K | ||
| HwDgByInc-CHARME99.ps.gz | 26-Jun-1999 17:12 | 55K | ||
| HwDgByInc-TR99.ps.gz | 15-Sep-1999 10:47 | 246K | ||
| Inc-SCP95.dvi.Z | 13-Nov-1996 17:09 | 90K | ||
| Inc-SCP95.ps.Z | 13-Nov-1996 16:59 | 152K | ||
| Inc-TR94.dvi.Z | 13-Nov-1996 17:03 | 90K | ||
| Inc-TR94.ps.Z | 13-Nov-1996 17:04 | 151K | ||
| IncEff-HOSC00.dvi.gz | 04-May-2000 17:58 | 44K | ||
| IncEff-HOSC00.ps.gz | 04-May-2000 18:13 | 126K | ||
| POdetect-CAV00.ps.gz | 25-Jul-2000 11:19 | 144K | ||
| POdetect-TR99.ps.gz | 25-Jul-2000 11:19 | 144K | ||
| Psr-IFIP97.dvi.Z | 23-Mar-1997 16:22 | 53K | ||
| Psr-IFIP97.ps.Z | 23-Mar-1997 16:22 | 142K | ||
| RecToItr-PEPM00.dvi.gz | 01-Dec-1999 18:45 | 36K | ||
| RecToItr-PEPM00.ps.gz | 01-Dec-1999 18:46 | 75K | ||
| RecToItr-TR99.dvi.gz | 04-Aug-1999 01:43 | 38K | ||
| RecToItr-TR99.ps.gz | 04-Aug-1999 01:45 | 93K | ||
| Scic-TOPLAS98.dvi.Z | 14-Sep-1998 19:29 | 115K | ||
| Scic-TOPLAS98.ps.Z | 14-Sep-1998 19:30 | 236K | ||
| SpaceAnal-TR00.ps.Z | 12-Apr-2000 13:33 | 208K | ||
| Thesis-TR95.dvi.Z | 13-Nov-1996 17:06 | 299K | ||
| Thesis-TR95.ps.Z | 13-Nov-1996 16:52 | 441K | ||
| ThesisAbs.ps.Z | 13-Nov-1996 16:56 | 72K | ||
| ThesisIntro.ps.Z | 13-Nov-1996 17:00 | 89K | ||
| TimeAnal-LCTES98.ps.Z | 16-May-1998 21:17 | 98K | ||
| TimeAnal-TR98.ps.Z | 28-Apr-1998 03:20 | 144K | ||
| TimeAnalHO-TR99.ps.Z | 23-Dec-1999 18:17 | 136K | ||