Das Lehrbuch gibt einen anschaulichen Überblick über die wichtigsten Mechanismen eines Betriebssystems und über aktuelle Konzepte. Neben den klassischen Einprozessorsystemen werden Multiprozessorsysteme...
详细信息
ISBN:
(数字)9783642977091
Das Lehrbuch gibt einen anschaulichen Überblick über die wichtigsten Mechanismen eines Betriebssystems und über aktuelle Konzepte. Neben den klassischen Einprozessorsystemen werden Multiprozessorsysteme, Netzwerkcomputer und Real- Time-systeme vorgestellt. Weitere Themen sind Speichermanagement, Gerätetreiber, Netzanbindung und Benutzeroberfläche. Alle Konzepte und Mechanismen werden an den beiden populären Betriebssystemen Unix und Windows NT verdeutlicht, so daß der Leser die eigenen Erfahrungen in einen größeren Zusammenhang einordnen kann. Fragen, Verständnisaufgaben und Musterlösungen geben zusätzlich praktische Lernhilfen.
This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on...
详细信息
ISBN:
(数字)9783031334375
ISBN:
(纸本)9783031334368
This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.;The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.
The Austrian Center for Parallel Computation (ACPC) is acooperative research organization founded in 1989 to promoteresearch and education in the field of software for parallelcomputersystems. The areas in wh...
详细信息
ISBN:
(数字)9783540480556
ISBN:
(纸本)9783540573142
The Austrian Center for Parallel Computation (ACPC) is a
cooperative research organization founded in 1989 to promote
research and education in the field of software for parallel
computersystems. The areas in which the ACPC is active
include algorithms, languages, compilers, programming
environments, and applications for parallel and
high-performance computing systems.
This volume contains the proceedings of the Second
International Conference of the ACPC, held in Gmunden,
Austria, October 1993. Authors from 17 countries submitted
44 papers, of which 15 were selected for inclusion in this
volume, which also includes 4 invited papers by
distinguished researchers. The volume is organized into
parts on architectures (2 papers), algorithms (7 papers),
languages (6 papers), and programming environments (4
papers).
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duti...
详细信息
ISBN:
(数字)9781846287183
ISBN:
(纸本)9781846283758;9781849965927
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane tack. I decided to suggest the material as the subject of a book to Beverley Ford. The material was sent on a Thursday (I think). The following Monday, I received an email from her saying that it had gone out for review. The review process took less than 2 weeks; the response was as surprising as it was encouraging: a de?nite acceptance. So I got on with it. This book is intended as a new way to approach operating systems - sign in general, and kernel design in particular. It was partly driven by the old ambition mentioned above, by the need for greater clarity where it comes to kernels and by the need, as I see it, for a better foundation for operating ***,too,playedapart—asnotedintheintrod- tory chapter, if a system’s kernel is insecure or unreliable, it will undermine *** play a part in this book.
The phenomenal increases in computersystem performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand for expensive packag...
详细信息
ISBN:
(数字)9783540445722
ISBN:
(纸本)9783540423294
The phenomenal increases in computersystem performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand for expensive packaging and cooling technology, an increase in product cost, and a decrease in product reliability in all segments of the computing market. Moreover, the higher power/energy dissipation has signi cantly reduced battery life in portable systems. While - stem designers have traditionally relied on circuit-level techniques to reduce - wer/energy, there is a growing need to address power/energy dissipation at all levels of the computersystem. We are pleased to welcome you to the proceedings of the Power-Aware C- puter systems (PACS 2000) workshop. PACS 2000 was the rst workshop in its series and its aim was to bring together experts from academia and industry to address power-/energy-awareness at all levels of computersystems. In these p- ceedings, we bring you several excellent research contributions spanning a wide spectrum of areas in power-aware systems, from application all the way to c- pilers and microarchitecture, and to power/performance estimating models and tools. We have grouped the contributions into the following speci c categories: (1) power-aware microarchitectural/circuit techniques, (2) application/compiler power optimizations, (3) exploiting opportunity for power optimization in - struction scheduling and cache memories, and (4) power/performance models and tools.
暂无评论