الصفحة 1
الصفحة 1
Wireless Transceiver Systems Design
This book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, mixed-signal algorithm and architecture co-design, and cross-layer system exploration. It also focuses on three recurring themes, the preference for scalable and reusable architectual concepts, proof-of-concept through actual design and experimental verification, and consequent analysis of design steps and their development into a methodology.Wireless Transceiver Systems Design is a valuable reference for specialists in the field of OFDM transceiver design.
UML Modeling Languages and Applications ; <> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during the ?rst three days of the conference(fromOctober10to12). Followingthetraditionofprevious UML conferences, UML 2004workshopsprovidedacollaborativeforumforgroups of (typically 15 to 30) participants to exchange recent or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate e?orts between representatives of a technical community. Ten workshops were held, covering a variety of hot topics, which have been covered in the workshop - ports contained in this volume.
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic systems. The first is the rapidgrowth in the design of complex System-on-Chip devices (SoC). The secondis progress in adding capabilities to the Unified Modeling Language (UML) tobetter support the design of real-time and embedded systems, culminating in theUML 2.0 specification which is nearing final approval. It is thus an excellenttime to evaluate the combination of these two topics into a unified theme: UMLfor SoC design.
Ubiquitous Convergence Technology ; 1st International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects with embedded computing - pabilities are now commonplace and, between mobile phones and RFID tags, further deployment proceeds at an unstoppable pace. The next major step of the ubiquitous computing evolution is the move, already partly underway, from isolated smart objects to distributed syst+I1096ems of smart objects and appropriate back-end infrastructure: microelectronics and communication technology c- verging with healthcare technology, communication technology, sports and - tertainment, housing, vehicular technology, middleware, sensor networks and so on.
Ubiquitous Computing Systems ; Vol. 3598 ; 2nd International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
This book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented at UCS 2004 suggest such a direction to future technologies, including mobile ad hoc networks, sensor networks and conte- aware technologies.
Ubiquitous Computing Systems ; 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings
UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing with particular - phasis on systems and software. UCS 2007 was the fourth of this series of int- nationalsymposia.ThiswastheyearfortheNextGenerationNetwork(NGN)to be commercially launched so that the Internet could become the infrastructure forcommunicationsandcomputingsubstitutingtheNGNintelephonenetworks. The maturity of the Internet encourages the research and development of the nextcomputing systems,where ubiquitous computing is recognizedasone ofthe most promising computing paradigms.
UbiComp 2007 : Ubiquitous Computing ; 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings
Provides the premier forum in which to present original research results in all areas relating to the design, implementation, app- cation and evaluation of ubiquitous computing technologies. It is a well-established platform to introduce and discuss research that enables new capabilities, appropriate security and privacy, improved user experiences and simplified and powerful devel- ment and deployment practices. These proceedings contain the papers presented at the Ninth International Conf- ence on Ubiquitous Computing (UbiComp 2007) in Innsbruck, Austria, in September 2007.
UbiComp 2006 : Ubiquitous Computing ; 8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings
Constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. Topics include improving natural interaction, constructing ubicomp systems, embedding computation, understanding ubicomp and its consequences, and deploying ubicomp technologies.
UbiComp 2005 : Ubiquitous Computing ; 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings
Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan in September 2005. These papers address topics related to human-computer interface (HCI), systems, context recognition and use, communications, and social implications and applications of computing.
Trends in Intelligent Systems and Computer Engineering
This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the needs of rapidly developing high technologies.Topics covered in this book include: - Automated Planning - Expert Systems - Machine Learning - Fuzzy Systems - Knowledge-based Systems - Computer Systems Organization - Computing Methodologies
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. It publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases.
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced by researchers and industries today, and focusing on the development of novel computational techniques that are versatile and verifiable in a wide range of applications. The volume is divided into two parts. The five papers in Part 1 focus on the theme of information system design, and the four papers in Part 2 are concerned with specific computational science problems in the area of data processing.
Transaction-Level Modeling with SystemC : TLM Concepts and Applications for Embedded Systems
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. The library is flexible enough to model components and systems at many different levels of abstractions: from cycle-accurate to untimed models, and from bit-true behavior to floating-point algorithms. However, careful selection of the abstraction level and associated methodology is crucial to ensure practical gains for design teams.
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 27th International conference, TACAS 2021, Held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Tools and Algorithms for the Construction and Analysis of Systems ; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Theory and Practice of Model Transformations ; 1st International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
Testing Software and Systems ; 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
