Computers - Computer Architecture

The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th...

This book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The authors show how to compute optimal symbolic assignments and parallel schedules of loop iterations at compile time, for cases where...

Describes how to map logic into new post-CMOS technologies and devices; Explains how to use different types of internal data structures, such as Majority-Inverter-Graphs; Discusses how to mix logic synthesis and physical design in order to have more effective and convergent ways to perform...

This book offers readers a set of new approaches and tools a set of tools and techniques for facing challenges in parallelization with design of embedded systems. It provides an advanced parallel simulation infrastructure for efficient and effective system-level model validation and development so...

In the research area of computer science, practitioners are constantly searching for faster platforms with pertinent results. With analytics that span environmental development to computer hardware emulation, problem-solving algorithms are in high demand. Field-Programmable Gate Array (FPGA) is a promising computing platform that can...

Distributed systems intertwine with our everyday lives. The benefits and current shortcomings of the underpinning technologies are experienced by a wide range of people and their smart devices. With the rise of large-scale IoT and similar distributed systems, cloud bursting technologies, and partial outsourcing...

See how the principles of Service Science govern the dynamics driving the adoption of cloud computing in the industry.Cloud as Service shows you how the evolution of enterprise computing platforms to application-specific cloud platforms (ASCPs) have aligned to business needs. You'll also learn processes...

Intelligent systems and related designs have become important instruments leading to profound innovations in automated control and interaction with computers and machines. Such systems depend upon established methods and tools for solving complex learning and decision-making problems under uncertain and continuously varying conditions. Intelligent...

This book presents state-of-the-art high-level programming models and compilation tool-chains for embedded system platforms, taking into account both the application requirements and the platform specificities of embedded systems from different industries.Author: Massimo TorquatiISBN-10: 1461487994ISBN-13: 9781461487999Publisher: SpringerLanguage: EnglishPublished: 11/10/2013Pages: 175Format: HardcoverWeight: 1.10lbsSize: 9.20h x 6.30w...

High Performance Computing Systems and Applications contains a selection of fully refereed papers presented at the 14th International Conference on High Performance Computing Systems and Applications held in Victoria, Canada, in June 2000. This book presents the latest research in HPC Systems and Applications,...

This book presents a multi-disciplinary approach for development of Recommender Systems. It explains different types of pertinent algorithms with their comparative analysis, and their role for different applications including case studies. It explains Big Data behind Recommender System, making good decision support systems, etc.Author:...

This volume contains a selection of papers that focus on the state-of- the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October,...

This work provides system architects a methodology for the implementation of x.500 and LDAP based metadirectory provisioning systems. In addition this work assists in the business process analysis that accompanies any deployment. DOC Safe HarborAuthor: Marlin PohlmanISBN-10: 0595656196ISBN-13: 9780595656196Publisher: iUniverseLanguage: EnglishPublished: 03/03/2003Pages: 640Format: HardcoverWeight:...

Modern theories of brain function are increasingly concerned with dynamics. The task of organizing perception and behaviour in a meaningful interaction with the external world prompts the brain to recruit its various resources in a properly coordinated manner. Vis-a-vis the complexity and multitude of...

Elsevier's Dictionary of Computer Graphics contains 10,540 terms with more than 2,600 cross-references that are commonly used in the theory and practice of computer graphics. Included are terms from all areas related to a) the theory of computer graphics - descriptive geometry, projective geometry,...

This book is based on extensive experience teaching VHDL to undergraduate students at the University of Portsmouth, UK, and to engineers in industry through short courses run by Mentor Graphics Corporation, USA.Author: R. D. HunterISBN-10: 0412813408ISBN-13: 9780412813405Publisher: SpringerLanguage: EnglishPublished: 01/31/1997Pages: 285Format: PaperbackWeight: 1.55lbsSize: 11.69h...

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...