1938 search results - page 256 / 388 » Dependable Software |
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we describe how to extend the concept of superword-level parallelization (SLP), used for multimedia extension architectures, so that it can be applied in the presen...
ISPASS
2005
IEEE
14 years 2 months ago
2005
IEEE
Simulation-based microarchitecture research is often hindered by the slow speed of simulators. In this work, we propose a novel statistical technique to identify highly representa...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...