Edward A. Lee - Böcker
Visar alla böcker från författaren Edward A. Lee. Handla med fri frakt och snabb leverans.
12 produkter
12 produkter
1 741 kr
Skickas inom 7-10 vardagar
This cutting-edge, practical guide brings you an independent, comprehensive introduction to DSP processor technology. A thorough tutorial and overview of DSP architectures, this book incorporates a broad range of today's product offerings in examples that illustrate DSP features and capabilities. This book is especially useful to electronic systems designers, processor architects, engineering managers, and product planners.
1 682 kr
Skickas inom 10-15 vardagar
Intended for designers and would-be designers of digital communication systems, this text extracts the common principles underlying a range of media and applications and presents them in a unified framework. Specifically, it treats the transport of bit streams from one geographical location to another over various physical media, such as wire pairs, coaxial cable, optical fibre and radio. It also treats multiple-access channels, where there are potentially multiple transmitters and receivers sharing a common medium. "Digital Communication" is relevant to the design of a variety of systems, including voice and video digital cellular telephone, digital CATV distribution, wireless LANs, digital subscriber loop, metallic ethernet, voiceband data modems and satellite communication systems. In this Third Edition material on recent advances in wireless communications, error-control coding and multiuser communications has been added. As a result, two chapters have been added, one on the theory of MIMO channels, and the other on diversity techniques for mitigating fading. The treatment of error-control coding has been rewritten to reflect the current state of the art in 2003.Chapters 6 through 9 from the Second Edition have been reorganized and streamlined to highlight pulse-amplitude modulation, becoming the new chapters 5 through 7. Readability has been increased by relegating many of the more detailed derivations to appendices and exercise solutions, both of which are included in the book. Exercises, problems, and solutions have been revised and expanded.
535 kr
Skickas inom 10-15 vardagar
This supplement contains worked solutions to the problems found in "Digital Communication", which is intended for designers and would-be designers of digital communication systems. The overall focus of the main text is on the transport of bit streams from one geographical location to another over various physical media such as wire pairs, coaxial cable, optical fibre and radio waves. In addition, there is coverage of the multiple access and synchronization issues relevant to constructing communication networks that simultaneously transport bit streams from many users. The material in this book is thus directly relevant to the design of a multitude of digital communication systems including local and metropolitan area data networks, voice and video telephone systems, digital CATV distribution, digital cellular and radio systems, the narrowband and broadband integrated services digital network (ISDN), computer communication systems, voiceband data modems and satellite communication systems. The common principles underlying these and other applications are extracted and presented in a unified framework.In the second edition existing material has been extensively revised and new material has been added. Two major topics which are emphasized are the combination of coding with intersymbol interference, and fading channels and wireless communicaton. Chapters 6-8 of the first edition have been completely rewritten and have become Chapters 6-10 in the second edition. In addition, solutions have been added to the exercises at the end of the book. This work is suitable as a first-year graduate textbook and should also be of interest to many professionals in industry. The book has been made more attractive to both audiences through the inclusion of many practical examples and a practical flavour in the choice of topics.
1 064 kr
Skickas inom 10-15 vardagar
This text addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital signal processors (DSPs) used in embedded real- time systems. The advent of high-speed graphics workstations has made feasible the use of graphical block diagram programming environments by designers of signal processing systems. A particular subset of dataflow, called Synchronous Dataflow (SDF), has proven efficient for representing a wide class of unirate and multirate signal processing algorithms, and has been used as the basis for numerous DSP block diagram-based programming environments such as the Signal Processing Workstation from Cadence Design Systems, Inc., COSSAP from Synopsys TM (both commercial tools), and the Ptolemy environment from the University of California at Berkeley. A key property of the SDF model is that static schedules can be determined at compile time. This removes the overhead of dynamic scheduling and is thus useful for real-time DSP programs where throughput requirements are often severe.Another constraint that programmable DSPs for embedded systems have is the limited amount of on-chip memory. Off-chip memory is not only expensive but is also slower and increases the power consumption of the system; hence, it is imperative that programs fit in the on-chip memory whenever possible. This book reviews the state of the art in constructing static, memory-optimal schedules for programs expressed as SDF graphs. Code size reduction is obtained by the careful organization of loops in the target code. Data buffering is optimized by constructing the loop hierarchy in provably optimal ways for many classes of SDF graphs. The central result is a uniprocessor scheduling framework that provably synthesizes the most compact looping structures, called single appearance schedules, for a certain class of SDF graphs. In addition, algorithms and heuristics are presented that generate single appearance schedules optimized for data buffering usage. Numerous practical examples and extensive experimental data are provided to illustrate the efficacy of these techniques.
1 064 kr
Skickas inom 10-15 vardagar
This book concerns digital communication. Specifically, we treat the transport of bit streams from one geographical location to another over various physical media, such as wire pairs, coaxial cable, optical fiber, and radio waves. Further, we cover the mul tiplexing, multiple access, and synchronization issues relevant to constructing com munication networks that simultaneously transport bit streams from many users. The material in this book is thus directly relevant to the design of a multitude of digital communication systems, including for example local and metropolitan area data net works, voice and video telephony systems, the integrated services digital network (ISDN), computer communication systems, voiceband data modems, and satellite communication systems. We extract the common principles underlying these and other applications and present them in a unified framework. This book is intended for designers and would-be designers of digital communication systems. To limit the scope to manageable proportions we have had to be selective in the topics covered and in the depth of coverage. In the case of advanced information, coding, and detection theory, for example, we have not tried to duplicate the in-depth coverage of many advanced textbooks, but rather have tried to cover those aspects directly relevant to the design of digital communication systems.
1 064 kr
Skickas inom 10-15 vardagar
Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital signal processors (DSPs) used in embedded real- time systems. The advent of high-speed graphics workstations has made feasible the use of graphical block diagram programming environments by designers of signal processing systems. A particular subset of dataflow, called Synchronous Dataflow (SDF), has proven efficient for representing a wide class of unirate and multirate signal processing algorithms, and has been used as the basis for numerous DSP block diagram-based programming environments such as the Signal Processing Workstation from Cadence Design Systems, Inc., COSSAP from Synopsys® (both commercial tools), and the Ptolemy environment from the University of California at Berkeley. A key property of the SDF model is that static schedules can be determined at compile time. This removes the overhead of dynamic scheduling and is thus useful for real-time DSP programs where throughput requirements are often severe. Another constraint that programmable DSPs for embedded systems have is the limited amount of on-chip memory. Off-chip memory is not only expensive but is also slower and increases the power consumption of the system; hence, it is imperative that programs fit in the on-chip memory whenever possible. Software Synthesis from Dataflow Graphs reviews the state-of-the-art in constructing static, memory-optimal schedules for programs expressed as SDF graphs. Code size reduction is obtained by the careful organization of loops in the target code. Data buffering is optimized by constructing the loop hierarchy in provably optimal ways for many classes of SDF graphs. The central result is a uniprocessor scheduling framework that provably synthesizes the most compact looping structures, called singleappearance schedules, for a certain class of SDF graphs. In addition, algorithms and heuristics are presented that generate single appearance schedules optimized for data buffering usage. Numerous practical examples and extensive experimental data are provided to illustrate the efficacy of these techniques.
1 222 kr
Skickas inom 10-15 vardagar
This book concerns digital communication. Specifically, we treat the transport of bit streams from one geographical location to another over various physical media, such as wire pairs, coaxial cable, optical fiber, and radio. We also treat multiple-access channels, where there are potentially multiple transmitters and receivers sharing a common medium. Ten years have elapsed since the Second Edition, and there have been remarkable advances in wireless communication, including cellular telephony and wireless local-area networks. This Third Edition expands treatment of communication theories underlying wireless, and especially advanced techniques involving multiple antennas, which tum the traditional single-input single-output channel into a multiple-input multiple-output (MIMO) channel. This is more than a trivial advance, as it stimulates many advanced techniques such as adaptive antennas and coding techniques that take advantage of space as well as time. This is reflected in the addition of two new chapters, one on the theory of MIMO channels, and the other on diversity techniques for mitigating fading. The field of error-control coding has similarly undergone tremendous changes in the past decade, brought on by the invention of turbo codes in 1993 and the subsequent rediscovery of Gallager's low-density parity-check codes. Our treatment of error-control coding has been rewritten to reflect the current state of the art. Other materials have been reorganized and reworked, and three chapters from the previous edition have been moved to the book's Web site to make room.
535 kr
Skickas inom 10-15 vardagar
This open access book aims to set an agenda for research and action in the field of Digital Humanism through short essays written by selected thinkers from a variety of disciplines, including computer science, philosophy, education, law, economics, history, anthropology, political science, and sociology.
430 kr
Skickas inom 10-15 vardagar
This open access book aims to set an agenda for research and action in the field of Digital Humanism through short essays written by selected thinkers from a variety of disciplines, including computer science, philosophy, education, law, economics, history, anthropology, political science, and sociology.
Del 15560 - Lecture Notes in Computer Science
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Häftad, Engelska, 2025
823 kr
Skickas inom 10-15 vardagar
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of Mälardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation.Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume.
Del 15000 - Lecture Notes in Computer Science
Let’s Talk AI
Interdisciplinarity Is a Must
Häftad, Engelska, 2025
430 kr
Skickas inom 10-15 vardagar
This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured interviews with community leaders who examine recent developments in AI and offer predictions about its impact on science, technology, business, and society. The interviewees, leading thinkers and practitioners from fields such as Computer Science, Software Engineering, Philosophy, Psychology, and Law, gathered at the multidisciplinary event AISoLA, where they discussed developments in AI technologies, tools, and research, and these exchanges were shaped into this coherent survey. In the debates surrounding the rapid advancement of AI it’s clear that while there is much sharing of ideas, in fact true cooperation and alignment is rare, most fields still operate in silos. Given the pervasive nature of AI, it’s critical that we move forward carefully to ensure that our decisions and progress are well-considered. This book serves as a call to action, reminding us of our collective responsibility to shape the future. The authors offer points of agreement and contrast, the reader will better understand how we may still maintain control over technological progress in AI and its societal impact.
Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Häftad, Engelska, 2010
551 kr
Skickas inom 10-15 vardagar
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.