Computers - Computer Architecture

Memory, the second function of a computer, has gradually become more complex in order to meet growing needs in terms of capacity, speed, security and energy efficiency. It takes the form of a component or system, such as a memory subassembly or a mass...

This two-volume set CCIS 2825-2826 constitutes the proceedings of the 6th International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2025, held in Marbella, Spain, during October 23-24, 2025. The 19 full papers and 25 short papers included in this book were carefully...

This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025. The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System...

This book includes the revised selected papers presented at the CCF 18th International Conference on Service Science, ICSS 2025, held in Nanjing, China, during May 9-11, 2025. The 21 full papers and 11 short papers presented here were carefully reviewed and selected from 74...

This book constitutes the refereed proceedings of the 13th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2025, held in Atlanta, GA, USA, during January 12-14, 2025. The 26 full papers presented in these proceedings were carefully reviewed and selected from...

Author: Zichen XuISBN-10: 9819693918ISBN-13: 9789819693917Publisher: SpringerLanguage: EnglishPublished: 02/03/2026Pages: 306Format: HardcoverWeight: 1.36lbsSize: 9.21h x 6.14w x 0.75d

This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21-23, 2024. The 7 full papers and 6 short papers included in this book were carefully reviewed and selected from...

Author: Vikrant BhatejaISBN-10: 9811075654ISBN-13: 9789811075650Publisher: SpringerLanguage: EnglishPublished: 04/11/2018Pages: 671Format: PaperbackWeight: 2.11lbsSize: 9.21h x 6.14w x 1.39d

Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.Author: Frank Rogin,Rolf DrechslerISBN-10: 9048192544ISBN-13: 9789048192540Publisher: SpringerLanguage:...

As the technology of Supercomputing processes, methodologies for approaching problems have also been developed. The main object of this symposium was the interdisciplinary participation of experts in related fields and passionate discussion to work toward the solution of problems. An executive committee especially arranged...

This book constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. The 18 technical full papers presented together with 7 posters were carefully reviewed and selected from 30 submissions. The papers are organized in...

This book constitutes the refereed proceedings of the 6th International Workshop on OpenMP, IWOMP 2010, held in Tsukuba City, Japan, in June 2010. The papers are organized in topical sections on Runtime and Optimization, Proposed Extensions to OpenMP, Scheduling and Performance, as well as...

This book constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. The 21 full papers and 21 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed...

This book constitutes the refereed proceedings of the Third European Conference on the Parallel Virtual Machine, EuroPVM '96, the 1996 European PVM users' group meeting, held in Munich, Germany, in October 1996.The parallel virtual machine, PVM, was developed at the University of Tennessee and...

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the...

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book. The authors of the chapters are experts from nuclear, chemical, mechanical, aerospace and defense system industries, and from institutions including universities, national laboratories, private...

This book contains papers presented at a NATO ARW on issues relating to intelligent systems. Topics addressed include analysis and assessment issues, dependability, intelligent front ends, learning systems, safety and reliability of advanced robotic systems, and dependability considerations in industrial applications.Author: Okyay KaynakISBN-10: 3540569936ISBN-13:...

Neural computation arises from the capacity of nervous tissue to process information and accumulate knowledge in an intelligent manner. Conventional computational machines have encountered enormous difficulties in duplicatingsuch functionalities. This has given rise to the development of Artificial Neural Networks where computation is distributed...

This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.Author: Grzegorz RozenbergISBN-10: 3540543988ISBN-13: 9783540543985Publisher: SpringerLanguage: EnglishPublished: 08/28/1991Pages: 576Format: PaperbackWeight: 1.79lbsSize:...

Artificial neural networks (ANNs) are massively parallel networks intended to function like biological nervous systems. This volume gives the proceedings of an international workshop on ANNs held in Spain in September 1991.Author: Alberto PrietoISBN-10: 3540545379ISBN-13: 9783540545378Publisher: SpringerLanguage: EnglishPublished: 08/28/1991Pages: 486Format: PaperbackWeight: 2.55lbsSize: 11.00h x...

This book is the proceedings of a conference on functional programming. Topics include type inference, novel ways to exploit type information, partial evaluation, handling states in functional languages, and high-performance implementations.Author: John HughesISBN-10: 3540543961ISBN-13: 9783540543961Publisher: SpringerLanguage: EnglishPublished: 08/07/1991Pages: 672Format: PaperbackWeight: 2.06lbsSize: 9.21h x 6.14w...

Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of research in the...

Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer...

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is...

Proceedings of a workshop on the unification of temporary and permanent objects in computer systems. This yields more powerful and efficient systems for large applications.Author: John RosenbergISBN-10: 3540196269ISBN-13: 9783540196266Publisher: SpringerLanguage: EnglishPublished: 08/31/1990Pages: 408Format: PaperbackWeight: 1.49lbsSize: 9.61h x 6.69w x 0.87d

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues...

In the last decade of Computer Science development, we can observe a growing interest in fault-tolerant computing. This interest is the result of a rising number of appl'ications where reliable operation of computing systems is an essential requirement. Besides basic research in the field...

This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a...

Provides an overview of CMOS scaling challenges and motivations for considering "beyond-CMOS devices," along with the basics of what is and what is not considered beyond-CMOS Offers insight into which beyond-CMOS devices are closest to "productization" and how designers can take advantage of beyond-CMOS...

This book provides a single-source reference on the use of carbon nanotubes (CNTs) as interconnect material for horizontal, on-chip and 3D interconnects. The authors demonstrate the uses of bundles of CNTs, as innovative conducting material to fabricate interconnect through-silicon vias (TSVs), in order to...

This book constitutes the refereed proceedings of the 5th International Conference on Dynamic Data Driven Applications Systems, DDDAS/Infosymbiotics for Reliable AI 2024, held in New Brunswick, NJ, USA, during November 6-8, 2024. The 43 full papers included in this book were carefully reviewed and...

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book...

This book constitutes the refereed proceedings of the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in November 2024.737 The 13 full papers and 4 short papers presented were carefully reviewed and selected from a total...

The topic this book addresses originated from a panel discussion at the 2004 ACM SIGKDD (Special Interest Group on Knowledge Discovery and Data Mining) Conference held in Seattle, Washington, USA. We the editors or- nized the panel to promote discussion on how text mining...

This book provides a comprehensive survey of recent progress in the design and implementation of Networks-on-Chip. It addresses a wide spectrum of on-chip communication problems, ranging from physical, network, to application layers. Specific topics that are explored in detail include packet routing, resource arbitration,...

Distributed Infrastructure Support For E-Commerce And Distributed Applications is organized in three parts. The first part constitutes an overview, a more detailed motivation of the problem context, and a tutorial-like introduction to middleware systems. The second part is comprised of a set of chapters...

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of...

Designing VLSI systems represents a challenging task. It is a transfonnation among different specifications corresponding to different levels of design: abstraction, behavioral, stntctural and physical. The behavioral level describes the functionality of the design. It consists of two components; static and dynamic. The static...

Instruction-Level Parallelism presents a collection of papers that attempts to capture the most significant work that took place during the 1980s in the area of instruction-level (ILP) parallel processing. The papers in this book discuss both compiler techniques and actual implementation experience on very...

Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance in VLSI and WSI Systems. The book examines solutions to a number of reconfiguration problems. Efficient algorithms are given for tractable covering problems and general techniques are...

Explore modern computer architecture from transistors and instruction sets to cloud-scale systems, LLM platforms, and secure computing, with major updates and new chapters reflecting today's cloud and AI-driven computing landscapeKey Features: - Understand modern processor and system architectures, from digital logic to x86, ARM,...

Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a...

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.Author: Grzegorz...

Cyber-physical systems (CPS) can be defined as systems in which physical objects are represented in the digital world and integrated with computation, storage, and communication capabilities and are connected to each other in a network. The goal in the use of the CPS is...

As technology continues to advance in today's global market, practitioners are targeting systems with significant levels of applicability and variance. Instrumentation is a multidisciplinary subject that provides a wide range of usage in several professional fields, specifically engineering. Instrumentation plays a key role in...

With the continual development of professional industries in today's modernized world, certain technologies have become increasingly applicable. Cyber-physical systems, specifically, are a mechanism that has seen rapid implementation across numerous fields. This is a technology that is constantly evolving, so specialists need a handbook...

In recent years, we have ushered in a new age where applications will become smaller, distributed, JavaScript-laden, microservices-infused, and utilize the hardware of the client to operate. A new paradigm has been forced upon us by the large search providers, and because of this,...

You mounted it on the wall. You powered it on. And then you paused-wondering what to do next.The Echo Show 15 looks simple, elegant, and modern. But once it's on your wall, many users quickly realize something important: this is not just another smart...

In the future of digital home networking, Ultra-Wideband (UWB) technology will be used as a wireless communication system to connect various devices like HDTVs, PCs, and Cell phones. One of the major challenges when designing UWB systems is the selection of the appropriate modulation...

Technological tools have enhanced the available opportunities and activities in the realm of e-business. In organizations that support real-time business-critical operations, the proper use and maintenance of relevant technology is crucial. Maximizing Information System Availability Through Bayesian Belief Network Approaches: Emerging Research and Opportunities...