2009 International Conference on Microelectronics - ICM最新文献_第6页

New dependability approach for implanted medical devices 植入医疗器械可靠性新方法

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418655

F. Soulier, F. le Floch, S. Bernard, G. Cathébras

{"title":"New dependability approach for implanted medical devices","authors":"F. Soulier, F. le Floch, S. Bernard, G. Cathébras","doi":"10.1109/ICM.2009.5418655","DOIUrl":"https://doi.org/10.1109/ICM.2009.5418655","url":null,"abstract":"Functional electrical stimulation (FES) is an attractive solution to restore some lost or failing physiological functions. Obviously, the FES system may be hazardous for patient and the reliability and dependability of the system must be maximal. Unfortunately, the present context, where the associated systems are more and more complex and their development needs very cross-disciplinary experts, is not favorable to safety. Moreover, the direct adaptation of the existing dependability techniques from domains such as space or automotive is not suitable. Firstly, this paper proposes a strategy for risk management at system level for FES medical implant. The idea is to give a uniform framework where all possible hazards are highlighted and associated consequences are minimized. Then, the paper focuses on one of the most critical part of the FES system: analog micro-circuit which generates the electrical signal to electrode. As this micro-circuit is the closest to the human tissue, any failure might involve very critical consequences for the patient. We propose a concurrent top-down and bottom-up approach where the critical elements are highlighted and an extended risk analysis is performed.","PeriodicalId":391668,"journal":{"name":"2009 International Conference on Microelectronics - ICM","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124314727","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}

引用次数: 1

Tutorial proposal efficient solving of optimization problems using advanced boolean satisfiability and Integer Linear Programming techniques 教程建议使用高级布尔可满足性和整数线性规划技术有效地解决优化问题

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418586

F. Aloul

{"title":"Tutorial proposal efficient solving of optimization problems using advanced boolean satisfiability and Integer Linear Programming techniques","authors":"F. Aloul","doi":"10.1109/ICM.2009.5418586","DOIUrl":"https://doi.org/10.1109/ICM.2009.5418586","url":null,"abstract":"Recent years have seen a tremendous growth in the number of research and development groups at universities, research labs, and companies that have started using Boolean Satisfiability (SAT) algorithms for solving different decision and optimization problems in Computer Science and Engineering. This has lead to the development of highly-efficient SAT solvers that have been successfully applied to solve a wide-range of problems in Electronic Design Automation (EDA), Artificial Intelligence (AI), Networking, Fault Tolerance, Security, and Scheduling. Examples of such problems include automatic test pattern generation for stuck-at faults (ATPG), formal verification of hardware and software, circuit delay computation, FPGA routing, power leakage minimization, power estimation, circuit placement, graph coloring, wireless communications, wavelength assignment, university classroom scheduling, and failure diagnosis in wireless sensor networks. SAT solvers have recently been extended to handle Pseudo-Boolean (PB) constraints which are linear inequalities with integer coefficients. This feature allowed SAT solvers to handle optimization problems, as opposed to only decision problems, and to be applied to a variety of new applications. Recent work has also showed that free open source SAT-based PB solvers can compete with the best generic Integer Linear Programming (ILP) commercial solvers such as CPLEX. This tutorial is aimed at introducing the latest advances in S AT technology. Specifically, we describe the simple new input format of SAT solvers and the common SAT algorithms used to solve decision/optimization problems. In addition, we highlight the use of SAT algorithms in solving a variety of EDA decision and optimization problems and compare its performance to generic ILP solvers. This should guide researchers in solving their existing optimization problems using the new SAT technology. Finally, we provide a prospective on future work on SAT.","PeriodicalId":391668,"journal":{"name":"2009 International Conference on Microelectronics - ICM","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117263502","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}

引用次数: 0

Comparison of Tree-based and Mesh-based coarse-grained FPGA architectures 基于树和基于网格的粗粒度FPGA架构的比较

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418640

Z. Marrakchi, Umer Farooq, H. Parvez, H. Mehrez

引用次数: 2

Improved Fast Recursive Least Squares transversal filters for adaptive tracking of time-variant systems 时变系统自适应跟踪的改进快速递推最小二乘横向滤波器

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418589

F. Ykhlef, Hocine Aitsaadi, A. Guessoum

{"title":"Improved Fast Recursive Least Squares transversal filters for adaptive tracking of time-variant systems","authors":"F. Ykhlef, Hocine Aitsaadi, A. Guessoum","doi":"10.1109/ICM.2009.5418589","DOIUrl":"https://doi.org/10.1109/ICM.2009.5418589","url":null,"abstract":"Adaptive filtering is used in a wide range of applications including echo cancellation, noise cancellation and equalization. In these applications, the environment in which the adaptive filter operates is often non-stationary. For satisfactory performance under non-stationary conditions, an adaptive filtering is required to follow the statistical variations of the environment. Tracking analysis provides insight into the ability of an adaptive filtering algorithm to track the changes in surrounding environment. The tracking behavior of an algorithm is quite different from its convergences behavior. While convergence is a transient phenomenon, tracking is a steady-state phenomenon. Over the last decade a class of equivalent algorithms such as the Normalized Least Mean Squares algorithm (NLMS) and the Fast Recursive Least Squares algorithm (FRLS) has been developed to accelerate the convergence speed. In this paper, we introduce an improved version for the stabilized Fast Recursive Least Squares (FRLS) algorithm. A comparative study between the Normalized Least Mean Squares algorithm and the Fast Recursive Least Squares algorithm is also presented in context of tracking systems identification.","PeriodicalId":391668,"journal":{"name":"2009 International Conference on Microelectronics - ICM","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122647575","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}

引用次数: 0

Sixth order baseband variable LPF using new tunable operational amplifier 采用新型可调运算放大器的六阶基带可变LPF

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418611

Said M. Fahmy, E. Soliman, S. Mahmoud

引用次数: 2

FPGA implementation of an improved channel estimation algorithm for mobile WiMAX 改进的移动WiMAX信道估计算法的FPGA实现

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418629

Khaled ElWazeer, M. Khairy, H. Fahmy, S. Habib

引用次数: 6

System-level performance evaluation of a H.264/AVC encoder targeting multiprocessors architectures 针对多处理器架构的H.264/AVC编码器的系统级性能评估

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418661

H. K. Zrida, A. Ammari, A. Jemai, M. Abid

引用次数: 4

Theoretical performance of GaAs solar cell, with band gap gradient layer on the back region 背面有带隙梯度层的砷化镓太阳能电池的理论性能

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418597

H. Benslimane, Hemmani Abderahman, Helmaoui Abderrachid

引用次数: 0

Area and power reduction techniques for time-based image sensor pixel design 基于时间的图像传感器像素设计的面积和功耗降低技术

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418593

D. Matolin, C. Posch, R. Wohlgenannt

引用次数: 3

Reconfigurable baseband chain for Software-Defined Radio receivers 用于软件定义无线电接收机的可重构基带链

2009 International Conference on Microelectronics - ICM Pub Date : 2009-12-01 DOI: 10.1109/ICM.2009.5418632

Tarek EL-Zomor, E. Soliman, S. Mahmoud

引用次数: 4