الصفحة 1
الصفحة 1
Interconnect Noise Optimization in Nanometer Technologies
The authors bring together a wealth of information presenting a range of CAD algorithms and techniques for synthesizing and optimizing interconnect. Practical aspects of the algorithms and the models are explained with sufficient details. The book investigates the most effective parameters in layout optimization. Different post-layout optimization techniques with complexity analysis and benchmarks tests are provided. The impact crosstalk noise and coupling on the wire delay is analyzed. Parameters that affect signal integrity are also considered.
Information security theory and practices : Smart cards, mobile and ubiquitous computing systems ; 1st IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007
Constitutes the refereed proceedings of the First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop on Information Security Theory and Practices: Smart Cards, Mobile and Ubiquitous Computing Systems, WISTP 2007, held in Heraklion, Crete, Greece in May 2007. This book includes sections on hardware and cryptography, and cryptography schemes.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Energy minimization methods in computer vision and pattern recognition ; 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings
Contains critical issues of representation, learning, and inference. Important new themes include pr- abilistic grammars, image parsing, and the use of datasets with ground-truth to act as benchmarks for evaluating algorithms and as a way to train learning algorithms. Other themes include the development of efficient inference algorithms using advanced techniques from statistics, computer science, and applied mathematics. This book makes no distinction between oral and poster papers. It also contiants sections on al- rithms, applications, image parsing, image processing, motion, shape, and thr- dimensional processing.
Database and XML Technologies ; Vol. 3671 ; 3rd international XML database symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings
Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August 2005. The 15 papers are organized in sections on indexing support for the evaluation of XPath and XQuery; benchmarks and algorithms for XQuery and XPath evaluation; algorithms for constraint satisfaction checking, and more.
Cloud-Based Benchmarking of Medical Image Analysis
Presents the VISCERAL project benchmarks for analysis and retrieval of 3D medical images (CT and MRI) on a large scale, which used an innovative cloud-based evaluation approach where the image data were stored centrally on a cloud infrastructure and participants placed their programs in virtual machines on the cloud. The book presents the points of view of both the organizers of the VISCERAL benchmarks and the participants.
Complexity Management in Fuzzy Systems : A Rule Base Compression Approach
This book presents a systematic study on the inherent complexity in fuzzy systems, resulting from the large number and the poor transparency of the fuzzy rules. The study uses a novel approach for complexity management, aimed at compressing the fuzzy rule base by removing the redundancy while preserving the solution. The compression is based on formal methods for presentation, manipulation, transformation and simplification of fuzzy rule bases, which are illustrated by algorithms as well as results from numerous examples and two case studies. The results are directly applicable or easily extendable to a wide class of fuzzy systems and detailed benchmarks for expanding these systems to new areas such as fuzzy networks and fuzzy multi-agent systems are introduced. The intended readers are people from both academia and industry, who would be interested in building and implementing advanced fuzzy systems.
Advanced memory optimization techniques for low-power embedded processors
this book explores a collaborative approach by proposing novel memory hierarchies and software optimization techniques for the optimal utilization of these memory hierarchies. Linking memory architecture design with memory-architecture aware compilation results in fast, energy-efficient and timing predictable memory accesses.The evaluation of the optimization techniques using real-life benchmarks for a single processor system, a multiprocessor system-on-chip (SoC) and for a digital signal processor system, reports significant reductions in the energy consumption and performance improvement of these systems. The book presents a wide range of optimizations, progressively increasing in the complexity of analysis and of memory hierarchies. The final chapter covers optimization techniques for applications consisting of multiple processes found in most modern embedded devices.
