Sciweavers

617 search results - page 93 / 124
» Debugging distributed programs using controlled re-execution
Sort
View
IPPS
2010
IEEE
15 years 4 days ago
Speculative execution on multi-GPU systems
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
Gregory F. Diamos, Sudhakar Yalamanchili
GROUP
2009
ACM
15 years 8 months ago
Two peers are better than one: aggregating peer reviews for computing assignments is surprisingly accurate
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the workā...
Ken Reily, Pam Ludford Finnerty, Loren G. Terveen
125
Voted
EUROPAR
2005
Springer
15 years 7 months ago
A Paradigm for Parallel Matrix Algorithms:
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
David S. Wise, Craig Citro, Joshua Hursey, Fang Li...
CL
2010
Springer
15 years 2 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
CSFW
2007
IEEE
15 years 8 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni“elou1,2 C“edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...