Many powerful code optimization techniques rely on accurate information connecting the definitions and uses of values in a program. This information is difficult to produce for programs written with pointer-based languages ...

Memento is a software infrastructure to support the construction and evolution of assistant applications (or assistants) that act as adjuncts to the human mind. Each assistant embodies an effective understanding of some ...

Hiding memory latency is critical in modern machines. Typically, machines have used cache and addressed the ensuing cache coherence problem with hardware or VM-based strategies that rely on global inter-cache communication. ...

High performance Fortran (HPF), as well as its predecessor FortranD, has attracted considerable attention as a promising language for writing portable parallel programs for a wide variety of distributed-memory architectures. ...

Hypertext systems have traditionally been characterized as collections of data connected by "links," or navigational paths between explicit anchors in the data; links from hypertext systems to other resources or to computation ...

The need for more computing power for many computer applications has increased beyond the capabilities of traditional von Neumann architectures. This has generated interest in using parallel computers to improve processing ...

Due to the growing disparity between processor speed and main memory speed, techniques that improve cache utilization and hide memory latency are often needed to help applications achieve peak performance. Compiler-directed ...

Piloting and many related control activities, especially remote manipulation via teleoperations and robotics, stand to benefit substantially from better means of communication between controller and controlled. We have ...

Computer software is becoming increasingly powerful and complex, but most people only utilize a small fraction of the capabilities of the software that they use to accomplish their daily tasks (Antsey, 1988; Fischer, 1987, ...

Sophisticated software systems are inherently complex. Understanding, debugging and maintaining such systems requires inferring high-level characteristics of the system's behavior from a myriad of low-level details. For ...