2302 search results - page 225 / 461 » Testing as Abstraction |
197
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
A computer vision system for tracking multiple people in relatively unconstrained environments is described. Trackerformed at three levels of abstraction: regions, people and grou...
137
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The development of communications services for distributed applications that are both well-structured (layered) and efficient can be difficult. This paper presents a C++ framework...
172
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
170
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
172
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
Abstract – In this paper, we propose a modeling approach for the average power consumption of macro-blocks that are typically used in digital signal processing (DSP) systems, suc...