7393 search results - page 531 / 1479 » Synthesis-for-testability using transformations |
176
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a novel from-region visibility algorithm, the unique properties of which allow conducting remote walkthroughs in very large virtual environments, without prepr...
199
Voted
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
Visualization techniques enable scientists to interactively explore 3D data sets, segmenting and cutting them to reveal inner structure. While powerful, these techniques suffer fr...
195
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
The database query optimizer requires the estimation of the query selectivity to find the most efficient access plan. For queries referencing multiple attributes from the same rel...
217
Voted
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
186
click to vote
GD
1998
Springer
15 years 11 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...