Sciweavers

1151 search results - page 47 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
110
Voted
NSDI
2004
15 years 5 months ago
MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks
Currently, researchers designing and implementing largescale overlay services employ disparate techniques at each stage in the production cycle: design, implementation, experiment...
Adolfo Rodriguez, Charles Edwin Killian, Sooraj Bh...
149
Voted
BIOINFORMATICS
2007
151views more  BIOINFORMATICS 2007»
15 years 3 months ago
A new protein-protein docking scoring function based on interface residue properties
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
Julie Bernauer, Jérôme Azé, Jo...
122
Voted
CCE
2004
15 years 3 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
149
Voted
DATE
1999
IEEE
147views Hardware» more  DATE 1999»
15 years 8 months ago
Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
Nicola Nicolici, Bashir M. Al-Hashimi
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
15 years 9 months ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan