1760 search results - page 155 / 352 » A System to Mark Programs Automatically |
165
click to vote
PAA
2010
14 years 10 months ago
2010
In this paper, we present a novel and robust road tracking system for vision-based personal navigation. Novelty of the work includes the use of multiple Condensation filters to tra...
122
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
132
click to vote
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
135
click to vote
HPCA
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper evaluates the suitability of the MapReduce model for multi-core and multi-processor systems. MapReduce was created by Google for application development on data-centers...
124
Voted
SBCCI
2004
ACM
15 years 8 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...