288 search results - page 38 / 58 » Table of Contents (pdf) |
124
Voted
IJDAR
2011
14 years 7 months ago
2011
Abstract. This paper describes the setup of the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition was to evaluate and compare automatic technique...
131
Voted
MICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
To achieve highly accurate branch prediction, it is necessary not only to allocate more resources to branch prediction hardware but also to improve the understanding of branch exe...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
109
Voted
IPTPS
2003
Springer
15 years 5 months ago
2003
Springer
We are building Coral, a peer-to-peer content distribution system. Coral creates self-organizing clusters of nodes that fetch information from each other to avoid communicating wi...
80
Voted
DC
2008
15 years 16 days ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...