Sciweavers

685 search results - page 72 / 137
» Closure Operators for Order Structures
Sort
View
ETS
2007
IEEE
128views Hardware» more  ETS 2007»
15 years 4 months ago
Selecting Power-Optimal SBST Routines for On-Line Processor Testing
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
Andreas Merentitis, Nektarios Kranitis, Antonis M....
93
Voted
PR
2000
106views more  PR 2000»
15 years 2 months ago
Non-linear image processing in hardware
A new ASIC capable of computing rank order "lters, weighted rank order "lters, standard erosion and dilation, soft erosion and dilation, order statistic soft erosion and...
Antonios Gasteratos, Ioannis Andreadis
134
Voted
3DPVT
2004
IEEE
149views Visualization» more  3DPVT 2004»
15 years 6 months ago
Fan-Meshes: A Geometric Primitive for Point-Based Description of 3D Models and Scenes
We propose a new data structure, called Fan-Meshes (FM), for reconstructing 3D models and scenes represented by dense scanning point clouds. It is a local piecewise linear approxi...
Xiaotian Yan, Fang Meng, Hongbin Zha
178
Voted
AINA
2009
IEEE
15 years 9 months ago
A Fast and Memory Efficient Dynamic IP Lookup Algorithm Based on B-Tree
—This paper deals with the traditional IP address lookup problem with fast updates. We propose a B-tree data structure, called MMSPT (Multiway Most Specific Prefix Tree), which i...
Yeim-Kuan Chang, Yung-Chieh Lin
B
2007
Springer
15 years 8 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...