988 search results - page 163 / 198 » The Frontiers of Data Programmability |
126
click to vote
JAR
2006
15 years 3 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...
131
Voted
ENTCS
2007
15 years 3 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...
120
Voted
JPDC
2006
15 years 3 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...
96
Voted
IJMMS
2007
15 years 3 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,...
122
Voted
TC
2008
15 years 3 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...