This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.;The 59 papers presented in this volume were carefully ...
详细信息
ISBN:
(数字)9783319676302
ISBN:
(纸本)9783319676296
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.;The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arb...
详细信息
ISBN:
(数字)9783662059487
ISBN:
(纸本)9783540534303
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen, dessen Lösung das Zeitverhalten des Programms angibt. Durch Einführung von bedingten Rekurrenzen und Rekurrenzfamilien ist es möglich, obere und untere Schranken für die Zeitkomplexität zu finden. Um die mittlere Zeitkomplexität zu bestimmen, müssen Wahrscheinlichkeiten dafür berechnet werden, daß im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um möglichst genaue Schranken für die Zeitkomplexität zu erhalten, muß eine Abhängigkeitsanalyse durchgeführt werden. Dies ermöglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation of extensions for ...
详细信息
ISBN:
(数字)9781484240939
ISBN:
(纸本)9781484240922
Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation of extensions for the Eclipse IDE in a way which makes them accessible both from the IDE’s UI and in a headless fashion from the command line.;Additionally,;explores the library of pre-built components included with TEA, mostly in the area of rich client platform (RCP)-based Java application development, for building projects, updating sites, dealing with target platforms, and more. After reading and using this book, you'll be up to speed on the fundamentals of Eclipse TEA and ready to use it for more productive Java-based application builds and developments.;Readers should be Java developers interested in extending the Eclipse IDE and/or setting up headless environments based on Eclipse.
This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD '95, held in Singapore in December 1995.;Besides two keynote papers by Stefano Ce...
详细信息
ISBN:
(数字)9783540484608
ISBN:
(纸本)9783540606086
This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD '95, held in Singapore in December 1995.;Besides two keynote papers by Stefano Ceri and Michael Kifer, the book contains revised full versions of 28 papers selected from a total of 88 submissions. The volume gives a highly competent state-of-the-art report on DOOD research and advanced applications. The papers are organized in sections on active databases, query processing, semantic query optimization, transaction management, authorization, implementation, and applications.
This text will prepare students for a long-term ability to do GIS programming, whether in industry or academic research. This comes from the author’s observations of students who have learned GIS programming in one p...
详细信息
ISBN:
(数字)9783031084980
ISBN:
(纸本)9783031084973;9783031085000
This text will prepare students for a long-term ability to do GIS programming, whether in industry or academic research. This comes from the author’s observations of students who have learned GIS programming in one platform, such as VBA in ArcMap, struggle to apply that knowledge to a new platform, such as Python in ArcGIS Pro, because the content was presented too closely with a specific platform. The integration of exercises with conceptual content, along with the choice of chapter content, serves this goal of preparing students for working in a dynamic, rapidly changing technology field.
This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998.;The volume presents three invited sur...
详细信息
ISBN:
(数字)9783540697053
ISBN:
(纸本)9783540642305
This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998.;The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.
This volume contains most of the papers presented at theworkshop on research directions in high-level parallelprogramming languages, held at Mont Saint-Michel, France, inJune 1991. The motivation for organizi...
详细信息
ISBN:
(数字)9783540467625
ISBN:
(纸本)9783540551607
This volume contains most of the papers presented at the
workshop on research directions in high-level parallel
programming languages, held at Mont Saint-Michel, France, in
June 1991. The motivation for organizing this workshop came
from the emergence of a new class of formalisms for
describing parallel computations in the last few years.
Linda, Unity, Gamma, and the Cham are the most significant
representatives of this new class. Formalisms of this family
promote simple but powerful language features for describing
data and programs. These proposals appeared in different
contexts and were applied in different domains, and the goal
of the workshop was to review the status of this new field
and compare experiences. The workshop was organized into
four main sessions: Unity, Linda, Gamma, and Parallel
Program Design. The corresponding parts ofthe volume are
introduced respectively by J. Misra, D. Gelernter, D. Le
Mtayer, and J.-P. Ban tre.
暂无评论