Now showing items 1-10 of 115
Exploring the Potential for Accelerating Sparse Matrix-Vector Product on a Processing-in-Memory Architecture
As the importance of memory access delays on performance has mushroomed over the last few decades, researchers have begun exploring Processing-in-Memory (PIM) technology, which offers higher memory bandwidth, lower memory ...
E-FRP With Priorities
E-FRP is declarative language for programming resource-bounded, event-driven systems. Its original high-level semantics requires that each event handler execute atomically. This facilitates reasoning about E-FRP programs, ...
Effective Performance Measurement and Analysis of Multithreaded Applications
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore processors is a problem of growing practical ...
Building Incentives into Tor
Distributed anonymous communication networks like Tor depend on volunteers to donate their resources. However, the efforts of Tor volunteers have not grown as fast as the demands on the Tor network. We explore techniques ...
A Hierarchical Region-Based Static Single Assignment Form
Modern compilation systems face the challenge of incrementally reanalyzing a program’s intermediate representation each time a code transformation is performed. Current approaches typically either re-analyze the entire ...
Exploiting Internet Delay Space Properties for Sybil Attack Mitigation
Recent studies have discovered that the Internet delay space has many interesting properties such as triangle inequality violations (TIV), clustering structures, and constrained growth. Understanding these properties has ...
Understanding Unfulfilled Memory Reuse Potential in Scientific Applications
The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than memory. Traditional performance tools typically ...
Support for Complex Numbers in Habanero
The Preliminary Design and Implementation of the Maestro Network Control Platform
Network operation is inherently complex because it consists of many functions such as routing, firewalling, VPN provisioning, traffic load-balancing, network maintenance, etc. To cope with this, network designers have ...
Mixing Indexed Types and Hindley-Milner Type Inference
This paper addresses the question of how to extend OCaml’s Hindley-Milner type system with types indexed by logical propositions and proofs of the Coq theorem prover, thereby providing an expressive and extensible mechanism ...