3552 search results - page 691 / 711 » Proof theory in the abstract |
126
click to vote
WEA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
102
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
152
Voted
HT
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
122
click to vote
NORDICHI
2004
ACM
15 years 7 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
120
click to vote
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...