Sciweavers

3879 search results - page 398 / 776
» PyPBS design and methodologies
Sort
View
173
Voted
DAC
1994
ACM
15 years 11 months ago
Automatic Verification of Pipelined Microprocessors
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
Vishal Bhagwati, Srinivas Devadas
AHS
2007
IEEE
211views Hardware» more  AHS 2007»
15 years 10 months ago
Synthesis of Multimode digital signal processing systems
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
Caaliph Andriamisaina, Emmanuel Casseau, Philippe ...
AIRWEB
2007
Springer
15 years 10 months ago
Measuring Similarity to Detect Qualified Links
The early success of link-based ranking algorithms was predicated on the assumption that links imply merit of the target pages. However, today many links exist for purposes other ...
Xiaoguang Qi, Lan Nie, Brian D. Davison
ER
2007
Springer
102views Database» more  ER 2007»
15 years 10 months ago
Relational Data Tailoring Through View Composition
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
Cristiana Bolchini, Elisa Quintarelli, Rosalba Ros...
ICC
2007
IEEE
116views Communications» more  ICC 2007»
15 years 10 months ago
Robust Power Allocation for Amplify-and-Forward Relay Networks
Relay power allocation has been shown to provide substantial performance gain in wireless relay networks when perfect global channel state information (CSI) is available. In this p...
Tony Q. S. Quek, Moe Z. Win, Hyundong Shin, Marco ...