17298 search results - page 3213 / 3460 » Abstract computing machines |
155
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
157
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
180
click to vote
ARCS
2012
Springer
14 years 5 days ago
2012
Springer
Abstract: In this paper, we present an acceleration method for texture-based ray casting on the compute unified device architecture (CUDA) compatible graphics processing unit (GPU...
124
click to vote
COMSNETS
2012
14 years 5 days ago
2012
Abstract—This paper describes Steptacular, an online interactive incentive system for encouraging people to walk more. A trial offering Steptacular to the employees of Accenture-...
165
click to vote
ESOP
2012
Springer
14 years 4 days ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...