Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components.
Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and Design Languages has been once again the main European event for the embedded systems and chip design community.
In a relatively short span of time, computers have evolved from huge mainframes to small and elegant desktop computers, and now to low-power, ultra-portable handheld devices.
As we embrace the world of personal, portable, and perplexingly complex digital systems, it has befallen upon the bewildered designer to take advantage of the available transistors to produce a system which is small, fast, cheap and correct, yet possesses increased functionality.
Platform Based Design at the Electronic System Level presents a multi-faceted view of the set of problems that the electronic industry currently faces in the development and integration of complex heterogeneous systems (including both hardware and software components).
Processor Design provides insight into a number of different flavors of processor architectures and their design, software tool generation, implementation, and verification.
The International Workshop on "e;Embedded Systems - Modeling, Techn- ogy, and Applications"e; is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin.
We are presently observing a paradigm change in designing complex SoC as it occurs roughly every twelve years due to the exponentially increasing number of transistors on a chip.
Avatars at Work and Play brings together contributions from leading social scientists and computer scientists who have conducted research on virtual environments used for collaboration and online gaming.
The International Workshop on "e;Human Interaction with Machines"e; is the sixth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin.
This book focuses on source-to-source code transformations that remove addressing-related overhead present in most multimedia or signal processing application programs.
This book investigates the potential and limitations of using Generative AI (GenAI) in terms of quality and capability in agile web development projects using React.
A collection of papers that address such issues as model limits and reliability, emerging expert systems and integrated gas and solid phase combustion simulation models.
A collection of papers that address such issues as model limits and reliability, emerging expert systems and integrated gas and solid phase combustion simulation models.
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.
A deep dive into the key aspects and challenges of machine learning interpretability using a comprehensive toolkit, including SHAP, feature importance, and causal inference, to build fairer, safer, and more reliable models.
Originally published in 1996 as a special issue journal, Artificial Intelligence Applications on Wall Street, presents a series of articles derived from papers at the Third International Conference on Artificial Intelligence Applications on Wall Street.
Originally published in 1996 as a special issue journal, Artificial Intelligence Applications on Wall Street, presents a series of articles derived from papers at the Third International Conference on Artificial Intelligence Applications on Wall Street.
This book introduces the prevailing domains of recommender systems and cross-device federated learning, highlighting the latest research progress and prospects regarding cross-device federated recommendation.
Case-based reasoning in design is becoming an important approach to computer-support for design as well as an important component in understanding the design process.
Case-based reasoning in design is becoming an important approach to computer-support for design as well as an important component in understanding the design process.
Introductory, theory-practice balanced text teaching the fundamentals of databases to advanced undergraduates or graduate students in information systems or computer science.
Introductory, theory-practice balanced text teaching the fundamentals of databases to advanced undergraduates or graduate students in information systems or computer science.
This book introduces the prevailing domains of recommender systems and cross-device federated learning, highlighting the latest research progress and prospects regarding cross-device federated recommendation.
In this book, Helen Kennedy argues that as social media data mining becomes more and more ordinary, as we post, mine and repeat, new data relations emerge.
UML for Developing Knowledge Management Systems provides knowledge engineers the framework in which to identify types of knowledge and where this knowledge exists in an organization.
Introducing issues in dynamic memory and case-based reasoning, this comprehensive volume presents extended descriptions of four major programming efforts conducted at Yale during the past several years.
Introducing issues in dynamic memory and case-based reasoning, this comprehensive volume presents extended descriptions of four major programming efforts conducted at Yale during the past several years.
This work presents a goal-based model of decision making in which the relative priorities of goals drive the decision process -- a psychological alternative to traditional decision analysis.
This work presents a goal-based model of decision making in which the relative priorities of goals drive the decision process -- a psychological alternative to traditional decision analysis.
This Third Edition sheds light on state-of-the-art theories and practices in multimodal compatibility modeling and recommendation, offering comprehensive insights into this evolving field.
