الصفحة 9
الصفحة 9
Logistics Systems Analysis
It has two new sections, a new appendix, and more than half a dozen new figures. A few references have also been added, Much of the new material is based on work , The financial support of the National Science Foundation and the Volvo Foundations Center of Excellence for the Future of Urban Transportation at U. C. Berkeley is also acknowledged. The new appendix presents the logic behind the traveling salesman and vehicle routing results used in Sec. 4. 2 to describe the transportation ope- tion; Chapter 4 is more self-contained as a result. New section 5. 6 int- duces and evaluates a general method that automatically translates the c- tinuum approximation recipes of Chapters 4 and 5 into discrete system designs. This closes a gap in previous editions. Other additions include an explanation of how to develop system designs that can efficiently acc- modate real-time control strategies to manage uncertainty (new section 4. 6. 3), and extensions of the many-to-many design ideas of Chap. 6
Just-in-Time Scheduling : Models and Algorithms for Computer and Manufacturing Systems
As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, minimizing inventories) on a just-in-time basis still remains as a major challenge. This problem or challenge has resulted in a fair amount of quantitative research in the area, producing an array of models and algorithms to help ensure the precise flow of components and final products into inventories to meet just-in-time requirements.The scheduling models and algorithms presented and illustrated in the book will be done so in the context of extensive use of computer systems in a "real time context.
Job Scheduling Strategies for Parallel Processing ; Vol. 3834 : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjunction with the 19th ACM International Conference on Supercomputing. This book covers a range of parallel architectures, from distributed grids, through clusters, to massively-parallel supercomputers.
Iterated Function Systems for Real-Time Image Synthesis
Natural phenomena can be visually described with fractal-geometry methods, where iterative procedures rather than equations are used to model objects. With the development of better modelling algorithms, the efficiency of rendering, the realism of computer-generated scenes and the interactivity of visual stimuli are reaching astonishing levels. Iterated Function Systems for Real-Time Image Synthesis gives an explanation of iterated function systems and how to use them in generation of complex objects.
Component-based software engineering ; 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Compiler construction ; Vol. 3923 : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other.
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.
Central European Functional Programming School ; 1st Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.
Business Intelligence for the Real-Time Enterprises ; 1st International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time data sets. In today’s competitive and highly dynamic environment, analyzing data to und- stand how the business is performing, to predict outcomes and trends, and to improve the effectiveness of business processes underlying business operations has become critical. The traditional approach to reporting is not longer adequate; users now - mand easy-to-use intelligent platforms and applications capable of analyzing real-time business data to provide insight and actionable information at the right time. The end goal is to improve the enterprise performance by better and timelier decision making, enabled by the availability of up-to-date, high-quality information.
Brilliantguard : AI-powered healthcare prototype for mobile & automotive integration
Brilliantguard is an AI-powered healthcare and safety prototype designed to support individuals with special needs, the elderly users, and patients with chronic conditions such as alzheimer’s disease. The system integrates augmented reality (AR), an AI based chatbot, and bitcoin-based payments into a unified platform combining mobile apps, smartwatches, and automotive sensors. It enables real-time health monitoring, predictive alerts with preliminary health suggestions, medication reminders, initial fault detection, and geofencing-based tracking for alzheimer’s patients. Emergency alerts are automatically triggered in response to abnormal health readings or car crashes.
Blind smart helmet
The Smart Helmet for the Blind is a project aimed at providing solutions for the challenges faced by blind individuals in their daily lives. The problem of detecting objects, identifying obstacles and distances, knowing the current location, and using a mobile application is a common issue for blind people. To address these problems, the Smart Helmet project was created, utilizing advanced technology and artificial intelligence to provide real-time assistance to the wearer. The helmet is connected to a Raspberry Pi 4, which processes information from the helmet's cameras and AI algorithms to analyze and predict the surrounding environment for a blind person.
Biologically Inspired Approaches to Advanced Information Technology ; 2nd International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically Inspired Approaches for Advanced Information Technology,The workshop is intended to provide an e?ective forum for original research results in the ?eld of bio-inspired approaches to advanced information technologies. It also serves to foster the connection between biological paradigms and solutions to building the next-generation information systems.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
Artificial intelligence techniques for satellite image analysis
The main objective of this book is to provide a common platform for diverse concepts in satellite image processing. In particular it presents the state-of-the-art in Artificial Intelligence (AI) methodologies and shares findings that can be translated into real-time applications to benefit humankind. Interdisciplinary in its scope, the book will be of interest to both newcomers and experienced scientists working in the fields of satellite image processing, geo-engineering, remote sensing and Artificial Intelligence. It can be also used as a supplementary textbook for graduate students in various engineering branches related to image processing.
Architecting dependable systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
