Search For:

Displaying 1-7 out of 7 total
Poster: On the Cost of a General GPU Framework: The Strange Case of CUDA 4.0 vs. CUDA 5.0
Found in: 2012 SC Companion: High Performance Computing, Networking, Storage and Analysis (SCC)
By Matthew Robert Wezowicz
Issue Date:November 2012
pp. 1537
The first release of CUDA was in 2007. Since then, we have experienced frequent new releases. CUDA reached its max performance with CUDA 4.0. Since its release, NVIDIA has started a re-design of the CUDA framework driven by software engineering prospective...
 
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs
Found in: High-Performance Distributed Computing, International Symposium on
By Gregory Matthews, Robert Hood, Stephen Johnson, Peter Leggett
Issue Date:July 2002
pp. 150
In this work we describe a new approach using relative debugging to find differences in computation between a serial program and a parallel version of that program. We use a combination of re-execution and backtracking in order to find the first difference...
 
A User-Steered Energy Generation and Consumption Multi-Model Simulation for Pricing and Policy Development
Found in: Computing in Science & Engineering
By Harrison Smith,Amy Pielow,Adithya Jayakumar,Matteo Muratori,Benjamin Yurkovich,Ramteen Sioshansi,Ashok Krishnamurthy,Giorgio Rizzoni,Matthew Roberts
Issue Date:May 2013
pp. 1
Understanding energy generation and consumption is more critical than ever. While simulation is a valuable tool, such models are by necessity simplified abstractions of actual energy systems. We present a steerable energy system multi-model implemented wit...
 
Paths: an abstract alternative to pointers
Found in: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '81)
By Philip Matthews, Robert Cartwright, Robert Hood
Issue Date:January 1981
pp. 14-27
This paper introduces the path, a new programming language construct designed to supplant the use of pointers to access and destructively update recursive data structures. In contrast to the complex semantics and proof rules for pointers, the semantics and...
     
Operational semantics for multi-language programs
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Jacob Matthews, Robert Bruce Findler
Issue Date:April 2009
pp. 1-44
Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this, and they are designing programming languages that reflect it—for instance, SML.NET, F#, Mondrian, and Scala all treat ...
     
Operational semantics for multi-language programs
Found in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '07)
By Jacob Matthews, Robert Bruce Findler
Issue Date:January 2007
pp. 949-984
Inter-language interoperability is big business, as the success of Microsoft's .NET and COM and Sun's JVM show. Programming language designers are designing programming languages that reflect that fact --- SML#, Mondrian, and Scala, to name just a few exam...
     
Panel: which access control technique will provide the greatest overall benefit
Found in: Proceedings of the sixth ACM symposium on Access control models and technologies (SACMAT '01)
By Casey Schaufler, David Ferraiolo, Mikel L. Matthews, Robert Watson, Stephen Smalley, Timothy Fraser
Issue Date:May 2001
pp. 141-149
The question before the panel: Considering all factors (for example: quality of protection, performance, compatibility, ease of use), which operating system access control technique will provide the greatest overall benefit to users?
     
 1