Showing 141 - 160 of 206

141

Computer Graphics Group
Peter Kipfer ; The Pennsylvania State University CiteSeerX Archives
http://www.kipfer.de/data/Publ.1999.14.pdf.

CR Categories and Subjec... D.1.3 [Concurrent Progra... Distributed programming Parallel programming D.1.5 [Object-oriented P... I.3.3 [Computer Graph- i...
Academic journal
Save to List
142

ABSTRACT Performance Modeling and Optimization of Parallel Out-of-Core Tensor Contractions ∗
Xiaoyang Gao ; Swarup Kumar Sahoo ; Chi-chung Lam ; et al.
http://www.cse.ohio-state.edu/~gaox/papers/ppopp05.pdf.

D.3.4 [Processors Compilers and Optimizati... D.1.3 [Concurrent Progra... Parallel programming F.2.1 [Numerical Algorit... Computations on matrices
Academic journal
Save to List
143

[Untitled]
Cormac Flanagan ; Shaz Qadeer ; The Pennsylvania State University CiteSeerX Archives
http://www.soe.ucsc.edu/~cormac/papers/tldi03.pdf.

D.1.3 Concurrent Program... parallel programming D.2.4 Software/Program V... Security Languages Verification
Academic journal
Save to List
144

ABSTRACT A Type and Effect System for Atomicity
Cormacflanagan Shazqadeer ; The Pennsylvania State University CiteSeerX Archives
http://www.soe.ucsc.edu/~cormac/papers/pldi03.pdf.

D.1.3 Concurrent Program... parallel programming D.2.4 Software/Program V... Security Languages Verification Keywords Mu...
Academic journal
Save to List
145

Abstract
The Pennsylvania State University CiteSeerX Archives
http://www.cs.utexas.edu/ftp/pub/techreports/tr07-63.pdf.

Categories and Subject D... Distributed programming... Design Keywords XQuery Orc orchestration Narada
Academic journal
Save to List
146

ABSTRACT A Type and Effect System for Atomicity
Cormac Flanagan ; Shaz Qadeer ; The Pennsylvania State University CiteSeerX Archives
http://www.soe.ucsc.edu/~cormac/papers/pldi03.ps.

D.1.3 Concurrent Program... parallel programming D.2.4 Software/Program V... Security Languages Verification Keywords Mu...
Academic journal
Save to List
147

AAtomicity Refinement for Verified Compilation
Suresh Jagannathan ; Vincent Laporte ; Université Rennes Irisa ; et al.
https://www.cs.purdue.edu/homes/gpetri/publis/vrfvc-toplas14.pdf.

verification correctness proofs formal methods reliability D.3.4 [Programming langu... Processors
Academic journal
Save to List
148

Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions
Yang Zhouy ; Ling Liuz ; Kisung Leey ; et al.
http://www.cc.gatech.edu/%7Elingliu/papers/2015/GraphLego-HPDC2015.pdf.

Categories and Subject D... Reliability availability and serviceability D.1.3 [Concurrent Progra... Par- allel Programming K...
Academic journal
Save to List
149

Intel
Justin E. Gottschlich ; Maurice P. Herlihy ; Gilles A. Pokam ; et al.
http://justingottschlich.com/content/pact_tmprof_final.pdf.

Categories and Subject D... D.1.3 [Concurrent Progra... Parallel programming D.1.7 [Visual Pro- gramm... D.2.8 [Metrics Performance measures. Ge...
Academic journal
Save to List
150

ABSTRACT A Type and Effect System for Atomicity
Cormac Flanagan ; Shaz Qadeer ; The Pennsylvania State University CiteSeerX Archives
http://pag.lcs.mit.edu/reading-group/flanagan03atom.pdf.

D.1.3 Concurrent Program... parallel programming D.2.4 Software/Program V... Security Languages Verification Keywords Mu...
Academic journal
Save to List
151

Concurrent Bounded Model Checking
Quoc-sang Phan ; Pasquale Malacaria ; Corina S. Păsăreanu ; et al.
http://www.eecs.qmul.ac.uk/%7Eqsp30/papers/jpf14.pdf.

Categories and Subject D... Parallel programming D.2.4 [Software/Program... Formal methods General T... Performance Theory
Academic journal
Save to List
152

aachen.de
Sergej Fries ; Stephan Wels ; Thomas Seidl ; et al.
http://openproceedings.org/EDBT/2014/paper_51.pdf.

D.1.3 [Concurrent Progra... MapReduce H.2.8 [Database Applicat... Data Mining I.5.3 [Clustering Projected Cluster- ing K...
Academic journal
Save to List
153

Profiling and tuning the performance of an STM-based concurrent program
The Pennsylvania State University CiteSeerX Archives
http://tmc.supertriceratops.com/papers/tmc2011-6-Pina.pdf.

Categories and Subject D... Trans- action Processing D.2.8 [Metrics Performance Metrics D.1.3 [Concurrent Progra... Performance
Academic journal
Save to List
154

Achieving Efficient Work-Stealing for Data-Parallel Collections
Aleksandar Prokopec ; École Polytechnique Fédérale De ; Martin Odersky ; et al.
http://infoscience.epfl.ch/record/186071/files/workstealing-collections.pdf.

D.1.3 [Concurrent Progra... Parallel programming D.3.3 [Language construc... Concurrent programming s... E.1 [Data Structures Trees
Academic journal
Save to List
155

Performance Enhancement with Speculative Execution based Parallelism for Processing Large-scale XMLbased Application Data
Michael R. Head ; Madhusudhan Govindaraju ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.binghamton.edu/~mgovinda/papers/hpdc164-head.pdf.

Categories and Subject D... Parallel Programming F.1.2 [Modes of Computat... Parallelism and concurre... Languages Performance
Academic journal
Save to List
156

Supporting Stateful Tasks in a Dataflow Graph
Vladimir Gajinov ; Srdjan Stipić ; Osman S. Unsal ; et al.
http://www.bscmsrc.eu/sites/default/files/pact2065-gajinov4_word.pdf.

Categories and Subject D... Parallel Programming. Ke... Transactional Memory Parallelization
Academic journal
Save to List
157

Semantics Driven Dynamic Partial-order Reduction of MPI-based Parallel Programs (full version
Robert Palmer ; Ganesh Gopalakrishnan ; Robert M. Kirby ; et al.
http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/padtad07.pdf.

Categories and Subject D... D.2.4 [Software/Program... Model checking D.1.3 [Concurrent Progra... Distributed programming D.3.1 [Formal Denitions...
Academic journal
Save to List
158

Improving Data Locality for Irregular Partitioned Global Address Space Parallel Programs
D. Brian Larkins ; The Pennsylvania State University CiteSeerX Archives
http://cs.coastal.edu/~brian/larkins_acmse12.pdf.

Categories and Subject D... Parallel Programming Gen... Performance Keywords PGA... data locality profile-driven optimizat... irregular data
Academic journal
Save to List
159

AOpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
Antoniu Pop ; Albert Cohen ; The Pennsylvania State University CiteSeerX Archives
http://www.di.ens.fr/pub/Main/OpenStream/OpenStream_TACO13.pdf.

Categories and Subject D... D.1.3 [Concurrent Progra... Parallel programming D.3.3 [Language Construc... Concurrent programming s... Languages
Academic journal
Save to List
160

Exploiting Application Dynamism and Cloud Elasticity for Continuous Dataflows
Alok Kumbhare ; Yogesh Simmhan ; Viktor K. Prasanna ; et al.
http://halcyon.usc.edu/~pk/prasannawebsite/papers/2013/SC13.pdf.

Categories and Subject D... Distributed applications D.1.3 [Concurrent Progra... Distributed program- min... I.2.8 [Problem Solving Control Methods
Academic journal
Save to List

Filter