Sciweavers

302 search results - page 17 / 61
» Sequential circuits for program analysis
Sort
View
92
Voted
BMCBI
2004
158views more  BMCBI 2004»
14 years 10 months ago
Improvement of alignment accuracy utilizing sequentially conserved motifs
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...
Saikat Chakrabarti, Nitin Bhardwaj, Prem A. Anand,...
70
Voted
BMCBI
2010
240views more  BMCBI 2010»
14 years 10 months ago
CircuitsDB: a database of mixed microRNA/transcription factor feed-forward regulatory circuits in human and mouse
Background: Transcription Factors (TFs) and microRNAs (miRNAs) are key players for gene expression regulation in higher eukaryotes. In the last years, a large amount of bioinforma...
Olivier Friard, Angela Re, Daniela Taverna, Michel...
90
Voted
ITC
1999
IEEE
107views Hardware» more  ITC 1999»
15 years 2 months ago
A high-level BIST synthesis method based on a region-wise heuristic for an integer linear programming
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...
Han Bin Kim, Dong Sam Ha
84
Voted
HPCC
2007
Springer
15 years 2 months ago
Checkpointing Aided Parallel Execution Model and Analysis
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
Laura Mereuta, Éric Renault
74
Voted
ASPDAC
2006
ACM
230views Hardware» more  ASPDAC 2006»
15 years 4 months ago
Statistical Bellman-Ford algorithm with an application to retiming
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
Mongkol Ekpanyapong, Thaisiri Watewai, Sung Kyu Li...