25 search results - page 5 / 5 » An integrated reduction technique for a double precision acc... |
ICST
2009
IEEE
13 years 4 months ago
2009
IEEE
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
NJC
2006
13 years 6 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
ICRA
2005
IEEE
13 years 12 months ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
ITS
2010
Springer
13 years 11 months ago
2010
Springer
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...
JACM
2007
13 years 6 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...