2777 search results - page 174 / 556 » Example centric programming |
PPOPP
2006
ACM
15 years 6 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 ...
89
Voted
DAGSTUHL
2004
15 years 2 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...
107
Voted
CEC
2010
IEEE
15 years 1 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...
126
click to vote
MTPP
2010
14 years 7 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...
108
Voted
FLAIRS
2007
15 years 3 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...