2777 search results - page 174 / 556 » Example centric programming |
121
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
120
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
153
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
164
click to vote
MTPP
2010
14 years 11 months ago
2010
The ubiquity of many-core architectures poses challenges to software developers to make scalable software. To parallelize data-intensive applications on a many-core platform, one h...
140
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...