Sciweavers

629 search results - page 42 / 126
» Parallelization Method for a Continuous Property
Sort
View
FDL
2007
IEEE
13 years 11 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
CISST
2003
171views Hardware» more  CISST 2003»
13 years 9 months ago
Image Registration and Conflation Based on Structural Characteristics
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
Boris Kovalerchuk, William Sumner, James L. Schwin...
PPSC
1993
13 years 9 months ago
A Matrix Framework for Conjugate Gradient Methods and Some Variants of CG with Less Synchronization Overhead
We will present a matrix framework for the conjugate gradient methods, which is expressed in terms of whole vector sequences instead of single vectors or initial parts of sequence...
Eduardo F. D'Azevedo, Victor Eijkhout, Charles H. ...
BMCBI
2006
90views more  BMCBI 2006»
13 years 7 months ago
A Fourier Transformation based Method to Mine Peptide Space for Antimicrobial Activity
Background: Naturally occurring antimicrobial peptides are currently being explored as potential candidate peptide drugs. Since antimicrobial peptides are part of the innate immun...
Vijayaraj Nagarajan, Navodit Kaushik, Beddhu Mural...
ATAL
2003
Springer
14 years 28 days ago
An asynchronous complete method for distributed constraint optimization
We present a new polynomial-space algorithm, called Adopt, for distributed constraint optimization (DCOP). DCOP is able to model a large class of collaboration problems in multi-a...
Pragnesh Jay Modi, Wei-Min Shen, Milind Tambe, Mak...