4079 search results - page 616 / 816 » Differential Testing for Software |
234
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
149
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a robotic walker designed as an assistive device for frail elderly people with cognitive impairment. Locomotion is most often the primary form of exercise for...
112
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
139
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...