2006 Annual IEEE India Conference最新文献_第6页

RPAKE: RCA-based Password Authenticated Key Exchange rake:基于rca的密码认证密钥交换

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302796

S. Tripathy, T. Nandi

引用次数: 1

Maximum Likelihood Decoding of Low Density Parity Check Coded Subcarrier Modulation in Optical Wireless Systems 光无线系统中低密度奇偶校验编码副载波调制的最大似然解码

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302762

M. Sharma, D. Chadha

引用次数: 0

Multimedia Supported Uplink Scheduling for IEEE 802.16d OFDMA Network IEEE 802.16d OFDMA网络的多媒体支持上行调度

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302779

R. Perumalraja., J. Roy, S. Radha

引用次数: 13

Fault Detection In PCB Using Homotopic Morphological Operator 基于同伦形态学算子的PCB故障检测

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302795

K. Talele, S. Gandhe, M. Shah

引用次数: 1

Fuzzy Kalman Filter Based Simultaneous State and Fault Parameter Estimation Scheme with an Application to a Continuous Stirred Tank Reactor 基于模糊卡尔曼滤波的状态与故障参数同步估计方法及其在连续搅拌槽式反应器中的应用

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302754

K. Janarthanan, J. Prakash

引用次数: 0

Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems 电池供电移动系统电力调度策略的形式化验证

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302830

Sayak Ray, P. Dasgupta, P. Chakrabarti

{"title":"Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems","authors":"Sayak Ray, P. Dasgupta, P. Chakrabarti","doi":"10.1109/INDCON.2006.302830","DOIUrl":"https://doi.org/10.1109/INDCON.2006.302830","url":null,"abstract":"Power scheduling is a new concept of system-level dynamic power management in battery powered mobile systems. A power scheduling policy depends completely on the power request patterns of the target applications. The designer of any power scheduling policy has to guarantee that inclusion of her power scheduler in a particular set of applications would never force the system to violate any of its correctness specifications in course of power rationing. In this work, we contribute by designing quantitative temporal specification logic, named PTL, which can express system correctness properties, both functional and power related. Characteristics of this logic is that using it, one can express various power related constraints like peak power bound, temporal patterns of power consumption for a finite computation etc. along with functional temporal constraints. It supports formal performance analysis as well at the architecture level. We have also developed model checking algorithms for this logic. This would help application designers to encode temporal behaviors, both functional and power related, of the individual applications and of the system as a whole and subsequently verify whether inclusion of a power scheduler in the system ever forces any of its components to deviate from its correctness specification","PeriodicalId":122715,"journal":{"name":"2006 Annual IEEE India Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131412745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

An m-ary tree based Frequent Temporal Pattern (FTP) mining algorithm 一种基于m树的频繁时间模式(FTP)挖掘算法

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302753

N. Gopalan, B. Sivaselvan

引用次数: 7

Artificial Neural Network Controlled Shunt Active Power Filter 人工神经网络控制并联有源电力滤波器

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302852

N. Muthuselvan, Subhransu Sekhar Dash, P. Somasundaram

引用次数: 8

State Estimation of a Nonlinear System by Neural Extended Kalman Filter 基于神经扩展卡尔曼滤波的非线性系统状态估计

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302752

K. Rajagopal, N. Pappa

引用次数: 0

Reduction of Musical Noise in Spectral Subtracted Speech Using Excitation Source Information 利用激励源信息降低谱减语音中的音乐噪声

2006 Annual IEEE India Conference Pub Date : 2006-09-01 DOI: 10.1109/INDCON.2006.302777

N. Gandhi, P. Krishnamoorthy, S. R. Mahadeva Prasanna

引用次数: 0