Sciweavers

9267 search results - page 33 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
ISPD
1998
ACM
91views Hardware» more  ISPD 1998»
14 years 1 months ago
Estimation of maximum current envelope for power bus analysis and design
In this paper we present an input pattern independent method to compute the maximum current envelope, which is an upper bound over all possible current waveforms drawn by a circui...
Sudhakar Bobba, Ibrahim N. Hajj
FMCAD
2006
Springer
14 years 14 days ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
DBSEC
2007
89views Database» more  DBSEC 2007»
13 years 10 months ago
Design and Analysis of Querying Encrypted Data in Relational Databases
Security and privacy concerns as well as legal considerations force many companies to encrypt the sensitive data in databases. However, storing the data in an encrypted format enta...
Mustafa Canim, Murat Kantarcioglu
BMCBI
2005
83views more  BMCBI 2005»
13 years 8 months ago
Genome-wide estimation of gender differences in the gene expression of human livers: Statistical design and analysis
Background: Gender differences in gene expression were estimated in liver samples from 9 males and 9 females. The study tested 31,110 genes for a gender difference using a design ...
Robert R. Delongchamp, Cruz Velasco, Stacey Dial, ...
JIRS
2007
119views more  JIRS 2007»
13 years 8 months ago
Design and Stability Analysis of Fuzzy Model-based Predictive Control - A Case Study
In the paper a fuzzy model based predictive control algorithm is presented. The proposed algorithm is developed in the state space and is given in analytical form, which is an adva...
Saso Blazic, Igor Skrjanc