5415 search results - page 1060 / 1083 » The Implementation of Functional Programming Languages |
183
click to vote
XSYM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
161
Voted
CGO
2008
IEEE
16 years 25 days ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
139
click to vote
CGO
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
179
click to vote
CGO
2008
IEEE
16 years 25 days ago
2008
IEEE
The recent trend in the processor industry of packing multiple processor cores in a chip has increased the importance of automatic techniques for extracting thread level paralleli...
170
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...