Sciweavers

2019 search results - page 36 / 404
» Programming with Shared Data Abstractions
Sort
View
ICML
2010
IEEE
13 years 8 months ago
Learning Programs: A Hierarchical Bayesian Approach
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...
Percy Liang, Michael I. Jordan, Dan Klein
ESOP
1999
Springer
13 years 12 months ago
Types for Safe Locking
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
Cormac Flanagan, Martín Abadi
PPOPP
1997
ACM
13 years 11 months ago
Shared Memory Performance Profiling
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...
Zhichen Xu, James R. Larus, Barton P. Miller
PDCAT
2004
Springer
14 years 1 months ago
View-Oriented Parallel Programming and View-Based Consistency
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
PTS
2007
112views Hardware» more  PTS 2007»
13 years 9 months ago
Implementing Conformiq Qtronic
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
Antti Huima