988 search results - page 163 / 198 » The Frontiers of Data Programmability |
133
click to vote
JAR
2006
15 years 4 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
128
click to vote
JPDC
2006
15 years 4 months ago
2006
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
106
click to vote
IJMMS
2007
15 years 4 months ago
2007
A consistent finding reported in online privacy research is that an overwhelming majority of people are ‘concerned’ about their privacy when they use the Internet. Therefore,...
136
Voted
TC
2008
15 years 4 months ago
2008
Abstract-- Dilated integers form an ordered group of the cartesian indices into a d-dimensional array represented in Morton order. Efficient implementations of its operations can b...