5451 search results - page 917 / 1091 » Typed Operational Semantics |
134
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
132
click to vote
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
129
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
131
Voted
SIGMETRICS
2006
ACM
15 years 9 months ago
2006
ACM
This paper makes two main contributions. First, it introduces Diverted Accesses, a technique that leverages the redundancy in storage systems to conserve disk energy. Second, it e...
153
click to vote
VEE
2006
ACM
15 years 9 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speci...