5506 search results - page 1041 / 1102 » Visualizing Software Changes |
115
Voted
CLEF
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes our experiments in Geographical Information Retrieval (GIR) in the context of our participation in the GeoCLEF 2006 Monolingual English task. The TALPGeoIR sy...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
109
click to vote
TIC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
ASPLOS
2010
ACM
15 years 2 months ago
2010
ACM
Cores in a chip-multiprocessor (CMP) system share multiple hardware resources in the memory subsystem. If resource sharing is unfair, some applications can be delayed significantl...
108
click to vote
CODES
2009
IEEE
15 years 2 months ago
2009
IEEE
Technological advancements due to Moore’s law have led to the proliferation of complex wireless sensor network (WSN) domains. One commonality across all WSN domains is the need ...