4650 search results - page 539 / 930 » Generating and evaluating evaluative arguments |
149
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
140
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
194
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
183
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Given a set of 2D images, we propose a novel approach for the reconstruction of straight 3D line segments that represent the underlying geometry of static 3D objects in the scene....
148
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...