enter search term and/or author name
Logic of global synchrony
Yifeng Chen, J. W. Sanders
An intermediate-level specification formalism (i.e., specification language supported by laws and a semantic model), Logs, is presented for PRAM and BSP styles of parallel programming. It extends pre-post sequential semantics to reveal states at...
A fast and accurate framework to analyze and optimize cache memory behavior
Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González
The gap between processor and main memory performance increases every year. In order to overcome this problem, cache memories are widely used. However, they are only effective when programs exhibit sufficient data locality. Compile-time program...
Hancock: A language for analyzing transactional data streams
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
Massive transaction streams present a number of opportunities for data mining techniques. The transactions in such streams might represent calls on a telephone network, commercial credit card purchases, stock market trades, or HTTP requests to a web...
Modular refinement of hierarchic reactive machines
Rajeev Alur, Radu Grosu
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well...
Traversals of object structures: Specification and Efficient Implementation
Karl Lieberherr, Boaz Patt-Shamir, Doug Orleans
Separation of concerns and loose coupling of concerns are important issues in software enginnering. In this paper we show how to separate traversal-related concerns from other concerns, how to loosely couple traversal-related concerns to the...