602 search results - page 47 / 121 » Automatic Optimization for MapReduce Programs |
EUROGP
2004
Springer
14 years 4 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
CADE
2010
Springer
14 years 1 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
DAC
2009
ACM
14 years 12 months ago
2009
ACM
This paper introduces Way Stealing, a simple architectural modification to a cache-based processor to increase data bandwidth to and from application-specific Instruction Set Exte...
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
CSREAESA
2006
14 years 9 days ago
2006
Modern processors have a small on-chip local memory for instructions. Usually it is in the form of a cache but in some cases it is an addressable memory. In the latter, the user is...