988 search results - page 60 / 198 » The Frontiers of Data Programmability |
133
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
103
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
108
Voted
TJS
2002
15 years 6 days ago
2002
This paper describes a tiling technique that can be used by application programmers and optimizing compilers to obtain I/O-efficient versions of regular scientific loop nests. Due ...
118
click to vote
PDP
2009
IEEE
15 years 7 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
85
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...