4836 search results - page 699 / 968 » Exploring the Similarity Space |
239
click to vote
ISLPED
2005
ACM
16 years 27 days ago
2005
ACM
This paper explores the power implications of replacing global chip wires with an on-chip network. We optimize network links by varying repeater spacing, link pipelining, and volt...
171
click to vote
SIGIR
2005
ACM
16 years 27 days ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
215
click to vote
CEFP
2005
Springer
16 years 27 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
193
click to vote
COSIT
2005
Springer
16 years 26 days ago
2005
Springer
Landmarks play crucial roles in human geographic knowledge. There has been much work focusing on the extraction of landmarks from geographic information systems (GIS) or 3D city mo...
214
click to vote
FASE
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...