تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Android Application Development for the Intel® Platform
The number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made by some of the top manufacturers of Android devices, such as Samsung, Lenovo, and Asus.
Advances in pervasive computing and networking
"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
Leakage in Nanometer CMOS Technologies
It is essential for circuit and system designers to understand the components of leakage, sensitivity of leakage to different design parameters, and leakage mitigation techniques in nanometer technologies. This book provides an in-depth treatment of these issues for researchers and product designers.
Communication system design using DSP algorithms : with laboratory experiments for the TMS320C6713 DSK
Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing and communication systems, using practical laboratory experiments with real-time DSP hardware.
Building ASIPs : The Mescal Methodology
A number of system designers use ASIP's rather than ASIC's to implement their system solutions. This book gives a comprehensive methodology for the design of these application-specific instruction processors (ASIPs). It includes demonstrations of applications of the methodologies using the Tipi research framework.
BioMEMS and Biomedical Nanotechnology : Vol. I: Biological and Biomedical Nanotechnology
Abe Lee has been working on micro/ and nanotechnology for biomedical and biotech applications since 1992. His recent research focuses on the development of integrated micro and nano fluidic chip processors for the following applications: point-of-care diagnostics, "smart" nanomedicine for early detection and treatment, stem cell biology and therapeutics, the synthesis of novel and pure materials, and biosensors to detect environmental and terrorism threats. Jim Lee's research interest includes BioMEMS/NEMS, and polymer micro/nanotechnology. In the last 4 years, he has over 20 refereed journal publications, 2 book chapters, and 5 patents in these areas. He is now leading an NSF Nanoscale Science and Engineering Center for Affordable Nanoengineering of Polymer Biomedical Devices at OSU.
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.
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and functionality optimization. Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice includes chapter contributions that explore promising approaches and present the supporting data.
