675 search results - page 106 / 135 » Programming Constraint Inference Engines |
107
click to vote
ISCA
2009
IEEE
15 years 8 months ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
116
click to vote
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
Search has arguably become the dominant paradigm for finding information on the World Wide Web. In order to build a successful search engine, there are a number of challenges that ...
106
Voted
PEPM
2000
ACM
15 years 5 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
100
click to vote
C3S2E
2008
ACM
15 years 3 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...