8874 search results - page 1687 / 1775 » A New Implementation of Automath |
173
Voted
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Compiler optimizations are often driven by specific assumptions about the underlying architecture and implementation of the target machine. For example, when targeting shared-mem...
174
click to vote
SPAA
1997
ACM
15 years 10 months ago
1997
ACM
- Partitioning unstructured graphs is central to the parallel solution of computational science and engineering problems. Spectral partitioners, such recursive spectral bisection (...
185
Voted
ECBS
1996
IEEE
15 years 10 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
182
click to vote
ISCA
1996
IEEE
15 years 10 months ago
1996
IEEE
Memory latency is an important bottleneck in system performance that cannot be adequately solved by hardware alone. Several promising software techniques have been shown to addres...
176
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...