619 search results - page 113 / 124 » The Design and Implementation of a Certifying Compiler |
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
CGO
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The further ad...
ICS
2009
Tsinghua U.
14 years 3 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
ARCS
2009
Springer
14 years 3 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...