2200 search results - page 194 / 440 » Programming norm change |
122
Voted
STOC
1991
ACM
15 years 7 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
133
click to vote
JMLR
2006
15 years 3 months ago
2006
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
135
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
224
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
229
click to vote
ICDE
2000
IEEE
16 years 4 months ago
2000
IEEE
In information-integration systems, sources may have diverse and limited query capabilities. In this paper we show that because sources have restrictions on retrieving their infor...