| 08-02 |
Ki-yung Ahn |
Cache Coherence Protocol Verification using ?mega
pdf
|
| 08-03 |
Sudarshan Murthy, David Meier |
A Framework for Relationship Pattern Languages
pdf
|
| 08-01 |
Tom Harke |
Toward A Sound Integration of Isabelle With a Combined Decision
pdf
|
| 07-01 |
Edward Kaiser and Wu-chang Feng |
Protecting the Internet with Public Work
pdf
|
| 06-01 |
Lina Dong, Saurabh Sethia and Pavel Sumazin |
Simple Rearrangement using Length-Weighted Inversions
|
| 06-03 |
Sangsuree Vasupongayya and Su-hui Chiang |
Impact of Objectives on Performance of Scheduling Jobs for Parallel Computer Workloads
|
| 06-04 |
Sergio Antoy |
(none available)
|
| 06-05 |
Emerson Murphy-Hill |
Improving Refactoring with Alternate Program Views
|
| 06-06 |
Kathryn Mohror and Karen Karavanic |
(none available)
|
| 05-01 |
Chuan-kai Lin and Andrew Black |
DirectFlow: Toward a DSL for Infopipes
|
| 04-01 |
James Binkley |
Ourmon vs IXIA: Monitoring Gigabit Speeds
|
| 04-02 |
James Binkley |
Capturing Network Intrusions with Ourmon
|
| 04-03 |
Kathryn Mohror and Karen Karavanic |
Performance Tool Support for MPI-2 on Linux
|
| 03-01 |
Shashidhar Lakkavalli |
Stretched Call Model for Next Generation Cellular Networks
|
| 02-01 |
Sarah Mocas |
(none available)
|
| 02-02 |
Harkirat Singh |
Analysius of Energy Consumption of TCP Reno, Newreno, and SACK in multi-hop wireless.network
|
| 01-10 |
Jim Binkley |
An Integrated IPSEC and Mobile - IP for Free BSD
|
| 01-11 |
Joseph Albert |
The DataWeb System for Exporting Relational Databases On the World Wide Web
|
| 90-11 |
Jean Scholtz and Susan Wiedenbeck |
Learning a New Programming Language: A Model of the Plannng Process
|
