Sciweavers

2152 search results - page 297 / 431
» A Comparative Study of 2QBF Algorithms
Sort
View
DATE
2008
IEEE
78views Hardware» more  DATE 2008»
15 years 11 months ago
Simultaneous FU and Register Binding Based on Network Flow Method
– With the rapid increase of design complexity and the decrease of device features in nano-scale technologies, interconnection optimization in digital systems becomes more and mo...
Jason Cong, Junjuan Xu
KBSE
2007
IEEE
15 years 11 months ago
Nighthawk: a two-level genetic-random unit test data generator
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
James H. Andrews, Felix Chun Hang Li, Tim Menzies
EMMCVPR
2007
Springer
15 years 11 months ago
3D Computation of Gray Level Co-occurrence in Hyperspectral Image Cubes
This study extended the computation of GLCM (gray level co-occurrence matrix) to a three-dimensional form. The objective was to treat hyperspectral image cubes as volumetric data s...
Fuan Tsai, Chun-Kai Chang, Jian-Yeo Rau, Tang-Huan...
ESA
2003
Springer
96views Algorithms» more  ESA 2003»
15 years 10 months ago
Streaming Geometric Optimization Using Graphics Hardware
In this paper we propose algorithms for solving a variety of geometric optimization problems on a stream of points in R2 or R3 . These problems include various extent measures (e.g...
Pankaj K. Agarwal, Shankar Krishnan, Nabil H. Must...
127
Voted
COLCOM
2009
IEEE
15 years 9 months ago
Still alive: Extending keep-alive intervals in P2P overlay networks
Abstract—Nodes within existing P2P networks typically exchange periodic keep-alive messages in order to maintain network connections between neighbours. This paper investigates a...
Richard Price, Peter Tiño