Søgning på underkategorier- og emner:
In today s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to... Læs mere
Dependable Computing Systems aims to identify and integrate approaches, develop methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining dependable computer systems.
This book provides a new treatment of computer system design, particularly for System-on-Chip (SOC). It introduces the fundamental technologies that form the basic material necessary to understand and to start analyzing and developing SOC solutions.
This reference book for system engineers, architects, and managers focuses on how to design, analyze, and deploy Web service-based workflows for both business and scientific applications in a broad domain of healthcare and biomedicine.
DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial intelligence are solved using the constraint satisfaction problem paradigm.
The Art of Computer Systems Performance Analysis "At last, a welcome and needed text for computer professionals who require practical, ready-to-apply techniques for performance analysis. Highly recommended!" -Dr.
This book is devoted to the fundamental concepts and theory of reliable computer systems and represents detailed case studies. It deals with... Læs mere
Focussing on process optimisation, extended products and future services for homes and buildings infrastructures, decision... Læs mere
Familiarizes systems analysts, systems designers, and information systems consultants with underlying principles, specific documentation, and methodologies. This book outlines various analysis and design topics.
Offering a firm foundation in the design of digital systems using Verilog HDL, this book presents the Verilog language together with a wide variety of examples. It describes the different modeling constructs supported by Verilog with numerous examples designed in each chapter.
This book presents the new challenges that the science of the twentieth century is facing. A distinctive feature of this book is the description... Læs mere