551 search results - page 61 / 111 » Reducing the cost of applying adaptive test cases |
144
click to vote
FMSD
1998
15 years 5 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
172
click to vote
ICAC
2007
IEEE
16 years 15 days ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...
156
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Leakage power in cache memories represents a sizable fraction of total power consumption, and many techniques have been proposed to reduce it. As a matter of fact, during a fixed ...
156
click to vote
ICEIS
2006
IEEE
16 years 6 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
200
click to vote
ISVC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. This paper introduces a new approach for volumetric visual hull reconstruction, using a voxel grid that focuses on the moving target object. This grid is continuously upd...