Sciweavers

3136 search results - page 105 / 628
» Comparison of Clique-Listing Algorithms
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 14 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ECBS
2006
IEEE
211views Hardware» more  ECBS 2006»
16 years 10 days ago
Modified Pseudo LRU Replacement Algorithm
Although the LRU replacement algorithm has been widely used in cache memory management, it is wellknown for its inability to be easily implemented in hardware. Most of primary cac...
Hassan Ghasemzadeh, Sepideh Sepideh Mazrouee, Moha...
JSC
1998
68views more  JSC 1998»
15 years 6 months ago
An Algorithm for Computing the Integral Closure
We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field. Leonard and Pellikaan [4] devised an algorithm for c...
Theo De Jong
CEC
2008
IEEE
16 years 23 days ago
A Fast Bacterial Swarming Algorithm for high-dimensional function optimization
—A novel Fast Bacterial Swarming Algorithm (FBSA) for high-dimensional function optimization is presented in this paper. The proposed algorithm combines the foraging mechanism of...
Ying Chu, Hua Mi, Huilian Liao, Zhen Ji, Q. H. Wu
COLT
2005
Springer
15 years 11 months ago
Stability and Generalization of Bipartite Ranking Algorithms
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
Shivani Agarwal, Partha Niyogi