This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2000, held in Yorktown Heights, NY, USA, in August 2000. The 22 revised full papers presented together with 5 posters were carefully selected during two rounds of reviewing and improvement. All current aspects of parallel processing are addressed with emphasis on issues in optimizing compilers, languages, and software environments in high-performance computing.

This book is de- voted to some topical prob- lems and various applica- tions of Operator Theory and to its interplay with many other fields of analysis as modern approximation the- ory, theory of dynamic sys- tems, harmonic analysis and complex analysis. It consists of 20 carefully selected sur- veys and research-expository papers. Their scope gives a representative status report on the field drawing a pic- ture of a rapidly developing domain of analysis. An abun- dance of references completes the picture. All papers included in the volume originate from lectures delivered at the l1th edition of the International Workshop on Operator The- ory and its Applications (IWOTA-2000, June 13-16, Bordeaux). Some information about the conference, including the complete list of participants, can be found on forthcoming pages. The editors are indebted to A.Sudakov for helping them in polishing and assembling original TeX files. A. Borichev and N. Nikolski Talence, May 2001 v vii International Workshop on Operator Theory and Its Applications (June 13-June 16, 2000, Universite Bordeaux 1) The International Workshop on Operator Theory and its Applications (IWOTA) is a satellite meeting of the international symposium on the Mathe- matical Theory of Networks and Systems (MNTS). In 2000, the MNTS is held in Perpignan, France, June 19-23. IWOTA 2000 was the eleventh workshop of this kind.

This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.
The 20 revised full papers presented were carefully reviewed and selected from a total of 116 submissions. The papers are organized in topical sections on Java, mobility, distributed abstractions, reliability, home and office, scalability, and quality of service.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area.

The chapters in this book are revised, updated, and edited versions of 13 selected papers from the Second International Conference on Cooperative Multimodal Communication (CMC'98), held in Tilburg, The Netherlands, in 1998.This wasthesecondconferencein a series,ofwhichthe ?rstonewasheld inEindhoven,TheNetherlands,in1995.Threeofthesepaperswerepresentedby invitedspeakers;thosebyDoniaScott(co-authoredwithRichardPower),Steven Feiner (co-authored with Michele Zhou), and Oliviero Stock (co-authored with Carlo Strapparava and Massimo Zancanaro). The other ten were among the submitted papers that were accepted by the CMC'98 program committee. The editors contributed an introductory chapter to set the stage for the rest of the book. We thank the programcommittee for their excellent and timely feedback to the authors of the submitted papers, and at a later stage for advising on the contents of this volume and for providing additional suggestions for improving theselectedcontributions.Theprogramcommittee consistedofNicholasAsher, NormannBadler,DonBouwhuis,HarryBunt,WalthervonHahn,DieterHuber, Hans Kamp, John Lee, Joseph Mariani, Jean-Claude Martin, Mark Maybury, PaulMcKevitt, RobNederpelt, KeesvanOverveld,RayPerrault,Donia Scott, Jan Treur, Wolfgang Wahlster, Bonnie Webber, Kent Wittenburg, and Henk Zeevat. WethanktheRoyalDutchAcademyofSciences(KNAW)andtheOrga- zationforCooperationamongUniversitiesinBrabant(SOBU)fortheirgrants that supported the conference.

This book constitutes the refereed proceedings of the Third International COST264 Workshop on Networked Group Communication, NGC 2001, held in London, UK, in November 2001.The 14 revised full papers presented were carefully reviewed and selected from 40 submissions. All current issues in the area are addressed. The papers are organized in topical sections on application-level aspects, group management, performance topics, security, and topology.

((keine o-Punkte, sondern 2 accents aigus auf dem o in Szokefalvi, s. auch Titel ))

In August 1999, an international conference was held in Szeged, Hungary, in honor of Bela Szokefalvi-Nagy, one of the founders and main contributors of modern operator theory. This volume contains some of the papers presented at the meeting, complemented by several papers of experts who were unable to attend. These 35 refereed articles report on recent and original results in various areas of operator theory and connected fields, many of them strongly related to contributions of Sz.-Nagy. The scientific part of the book is preceeded by fifty pages of biographical material, including several photos."

The Cathedral & the Bazaar is a must for anyone who cares about the future of the computer industry or the dynamics of the information economy. This revised and expanded paperback edition includes new material on open source developments in 1999 and 2000. Raymond's clear and effective writing style accurately describing the benefits of open source software has been key to its success.

Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades. Whereas the first breakthrough in queueing network theory was initiated by problems and work in operations research, the second breakthrough, as well as subsequent major work in the area, was closely related to computer science, particularly to performance analysis of complex systems in computer and communication science.The text reports on recent research and development in the area. It is centered around explicit expressions for the steady behavior of discrete time queueing networks and gives a moderately positive answer to the question of whether there can be a product form calculus in discrete time. Originating from a course given by the author at Hamburg University, this book is ideally suited as a text for courses on discrete time stochastic networks.

Linux has become increasingly popular as an alternative operating system to Microsoft Windows as its ease of installation and use has improved. This, combined with an ever growing range of applications, makes it an attractive alternative to Windows for many people.Essential Linux fast covers areas such as:- The essential preliminaries that should be carried out before installing Linux- Installing a Linux system- Configuring peripherals- Using X windows- Basic and intermediate Unix commands- Using the Internet with Linux- Using Linux for document preparation- Using Linux for programmingIf you want to make the switch from Windows, this is the book you need. Ian Chivers tells you how to get and install Linux and explains why Linux is becoming the hottest operating system of the millennium.

This book constitutes the refereed proceedings of the 8th International Conference on User Modeling, UM 2001, held in Sonthofen, Germany in July 2001.The 19 revised full papers and 20 poster summaries presented together with summaries of 12 selected student presentations were carefully reviewed and selected from 79 submissions. The book offers topical sections on acquiring user models from multi-modal user input; learning interaction models; user models for natural language interpretation, processing, and generation; adaptive interviewing for acquiring user preferences and product customization; supporting user collaboration through adaptive agents; student modeling; and adaptive information filtering, retrieval, and browsing.

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques.

Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.

This book constitutes the refereed proceedings of the 10th International Conference on Compiler Construction, CC 2001, held in Genova, Italy in April 2001.The 22 revised full papers presented were carefully reviewed and selected from a total of 69 submissions. The papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos.

The book presents a succession of RISC-V processor implementations in increasing difficulty (non pipelined, pipelined, deeply pipelined, multithreaded, multicore). Each implementation is shown as an HLS (High Level Synthesis) code in C++ which can really be synthesized and tested on an FPGA based development board (such a board can be freely obtained from the Xilinx University Program targeting the university professors). The book can be useful for three reasons. First, it is a novel way to introduce computer architecture. The codes given can serve as labs for a processor architecture course. Second, the book content is based on the RISC-V Instruction Set Architecture, which is an open-source machine language promised to become the machine language to be taught, replacing DLX and MIPS. Third, all the designs are implemented through the High Level Synthesis, a tool which is able to translate a C program into an IP (Intellectual Property). Hence, the book can serve to engineers willing to implement processors on FPGA and to researchers willing to develop RISC-V based hardware simulators.

This remarkable anthology allows the pioneers who orchestrated the major breakthroughs in operating system technology to describe their work in their own words. From the batch processing systems of the 1950s to the distributed systems of the 1990s, Tom Kilburn, David Howarth, Bill Lynch, Fernando Corbato, Robert Daley, Sandy Fraser, Dennis Ritchie, Ken Thompson, Edsger Dijkstra, Per Brinch Hansen, Soren Lauesen, Barbara Liskov, Joe Stoy, Christopher Strachey, Butler Lampson, David Redell, Brian Randell, Andrew Tanenbaum, and others describe the systems they designed. The volume details such classic operating systems as the Atlas, B5000, Exec II, Egdon, CTSS, Multics, Titan,Unix, THE, RC 4000, Venus, Boss 2, Solo, OS 6, Alto, Pilot, Star, WFS, Unix United, and Amoeba systems. An introductory essay on the evolution of operating systems summarizes the papers and helps puts them into a larger perspective. This provocative journey captures the historic contributions of operating systems to software design, concurrent programming, graphic user interfaces, file systems, personal computing, and distributed systems. It also fully portrays how operating systems designers think. It's ideal for everybody in the field, from students to professionals, academics to enthusiasts.

Virtual Interaction: Interaction in Virtual Inhabited 3D Worlds answers the basic research questions involved in the development of user-friendly interfaces, such as:
* How does one navigate in and with a virtual inhabited three-dimensional world?
* How can the virtual world and the interface be part of the same world?
* How can the use of these interfaces be supported by implicit narrative structures?
* How can the autonomous agents function as assistants to the end-user?
* How can the current--what you see is what you get--be replaced by What you want is what you get:?
Containing the edited research papers resulting from an ambitious, cross-disciplinary research project, this volume examines the core activity of interfaces: interaction. It takes the reader all the way from general theories and conceptualizations of interaction aspects of virtual inhabited 3D worlds, through theories of and methods for the design of autonomous agents, ending in specific design methodology considerations and suggestions for management in the multimedia industry.

This volume contains the papers presented at the International Workshop on Tools for Working with Guidelines, (TFWWG 2000), held in Biarritz, France, in October 2000. It is the final outcome of the International Special Interest Group on Tools for Working with Guidelines.Human-computer interaction guidelines have been recognized as a uniquely relevant source for improving the usability of user interfaces for interactive systems. The range of interactive techniques exploited by these interactive systems is rapidly expanding to include multimodal user interfaces, virtual reality systems, highly interactive web-based applications, and three-dimensional user interfaces. Therefore, the scope of guidelines' sources is rapidly expanding as well, and so are the tools that should support users who employ guidelines to ensure some form of usability.Tools For Working With Guidelines (TFWWG) covers not only software tools that designers, developers, and human factors experts can use to manage multiple types of guidelines, but also looks at techniques addressing organizational, sociological, and technological issues.

Your one-stop reference for Windows Server 2019 and PowerShell know-how Windows Server 2019 & PowerShell All-in-One For Dummies offers a single reference to help you build and expand your knowledge of all things Windows Server, including the all-important PowerShell framework. Written by an information security pro and professor who trains aspiring system administrators, this book covers the broad range of topics a system administrator needs to know to run Windows Server 2019, including how to install, configure, and secure a system. This book includes coverage of: Installing & Setting Up Windows Server Configuring Windows Server 2019 Administering Windows Server 2019 Configuring Networking Managing Security Working with Windows PowerShell Installing and Administering Hyper-V Installing, Configuring, and Using Containers If you're a budding or experienced system administrator looking to build or expand your knowledge of Windows Server, this book has you covered.

Jurgen Glag's book points out how to ensure professional and efficient database software development in DB2 mainframe and client/server environments. The asset of this book is that technical aspects (performance, tuning) and organizational measures (economical performance) are covered. Consequently, this book is suitable particularly for organizations that want to use DB2 in an economical and safe way.
Work in various large production systems with DB2 revealed that most performance problems arise either from a certain critical transaction load onwards or for particularly large tables. Many measures can be taken in order to identify and to solve these problems during software development and not, as is often the case, only in production environment. Beyond explaining the causes for performance problems, this book also describes and explains well-proven measures to avoid such problems.
The book particularly addresses those persons who are responsible for data processing and quality assurance; project leaders and project managers in the data processing area; and software and application developers.

Das Buch von Glag zeigt, wie professionelle und effiziente DB-Anwendungsentwicklung im DB2-Grossrechnerbereich und Client/Server-Umfeld sichergestellt werden konnen. Der Vorzug des Buches ist es, dass sowohl die technischen Aspekte (Performance, Tuning) als auch organisatorische Massnahmen zur Optimierung (wirtschaftliche Performance) dargestellt werden. Damit eignet sich das Buch insbesondere fur den Einsatz in Unternehmen, die DB2 kostengunstig und sicher einsetzen wollen.
Bei der Arbeit in mehreren grossen produktiven DB2-Umgebungen hat sich gezeigt, dass die meisten Performance-Probleme entweder erst ab einer bestimmten kritischen Transaktionslast oder bei besonders umfangreichen Tabellengrossen auftreten. Um diese Probleme nicht erst in der Produktionsumgebung, sondern bereits wahrend der Softwareentwicklung erkennen und losen zu konnen, sind eine Reihe von Massnahmen"

This volume contains the papers prepared for the 2nd International Conference on Natural Language Processing, held 2-4 June in Patras, Greece. The conference program features invited talks and submitted papers, c- ering a wide range of NLP areas: text segmentation, morphological analysis, lexical knowledge acquisition and representation, grammar formalism and s- tacticparsing, discourse analysis, languagegeneration, man-machineinteraction, machine translation, word sense disambiguation, and information extraction. The program committee received 71 abstracts, of which unfortunately no more than 50% could be accepted. Every paper was reviewed by at least two reviewers. The fairness of the reviewing process is demonstrated by the broad spread of institutions and countries represented in the accepted papers. So many have contributed to the success of the conference. The primary credit, ofcourse, goes to theauthors andto the invitedspeakers. By theirpapers and their inspired talks they established the quality of the conference. Secondly, thanks should go to the referees and to the program committee members who did a thorough and conscientious job. It was not easy to select the papers to be presented. Last, but not least, my special thanks to the organizing committee for making this conference happ

This is the first book designed to help Windows developers decide not only which technologies to use but also how to use them. It teaches them to combine the wide variety of technologies that make up Windows DNA into effective solutions for their own enterprise application requirements. The author makes use of his long consulting experience in the client-server world to describe "best practices" that apply to building Windows DNA applications.

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

ThePKC2000conferencewasheldattheMelbourneExhibitionCentre, Victoria, Australia, January 18-20, 2000. It was the third conference in the international workshop series dedicated to practice and theory in public key cryptography. The program committee of the conference received 70 full submissions from around the world, of which 31 were selected for presentation. All submissions were reviewed by experts in the relevant areas. The program committee consisted of 19 experts in cryptography and data se- rity drawn from the international research community, these being Chin-Chen Chang (National Chung Cheng University, Taiwan), Claude Cr epeau (McGill University, Canada), Ed Dawson (Queensland University of Technology, A- tralia), Yvo Desmedt (Florida State University, USA), Hideki Imai (Co-chair, UniversityofTokyo, Japan), MarkusJakobsson(BellLabs, USA), KwangjoKim (Information and Communications University, Korea), Arjen Lenstra (Citibank, USA), TsutomuMatsumoto(YokohamaNationalUniversity, Japan), DavidN- cache (Gemplus, France), Eiji Okamoto (University of Wisconsin-Milwaukee, USA), TatsuakiOkamoto(NTTLabs, Japan), JosefPieprzyk(UniversityofW- longong, Australia), Jean-Jacques Quisquater (Universit e Catholique de L- vain, Belgium), Nigel Smart (HP Labs Bristol, UK), Vijay Varadharajan (U- versity of Western Sydney, Australia), Serge Vaudenay (Ecole Polytechnique F ed erale de Lausanne, Switzerland), Moti Yung (CertCo, USA), and Yuliang Zheng (Co-chair, Monash University, Australia). Members of the committee spent numerous hours in reviewing the submissions and providing advice and comments on the selection of paper

This comprehensive guide is directed at Linux and UNIX users but is also the best how-to book on the use of LaTeX in preparing articles, books and theses. Unlike other LaTeX books, this one is particularly suitable for anyone coming to LaTeX for the first time.