This book constitutes the refereed proceedings of the 7th European Symposium on programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Por...
详细信息
ISBN:
(数字)9783540697220
ISBN:
(纸本)9783540643029
This book constitutes the refereed proceedings of the 7th European Symposium on programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.;This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
Mit BOINC können hochskalierbare, komplexe und rechenintensive Probleme im Sinne des;(PRC) Prinzips gelöst werden. Freiwillige melden sich bei einem BOINC-Projekt an und stellen ihre Rechnerressourcen zur Ve...
详细信息
ISBN:
(数字)9783642233838
ISBN:
(纸本)9783642233821
Mit BOINC können hochskalierbare, komplexe und rechenintensive Probleme im Sinne des;(PRC) Prinzips gelöst werden. Freiwillige melden sich bei einem BOINC-Projekt an und stellen ihre Rechnerressourcen zur Verfügung. BOINC unterstützt alle gängigen Betriebssysteme und auch alle "Exoten". Dies hat seinen Preis. Die Installation, Konfiguration und Wartung eines BOINC-Projekts ist aufwändig, kompliziert und sehr fehleranfällig. In vier Teilen (Grundlagen, Technik, BOINC, Praxis) stellt der Autor die einzelnen Entwicklungsschritte dar, so dass erfolgreich ein voll funktionsfähiges BOINC-Projekt erstellt und effizient gewartet werden kann. Es wird besonders auf die verschiedenen Implementierungsmöglichkeiten Wert gelegt, um eine heterogene Umgebung - auf Anwenderseite - für die Lösung der Probleme nutzen zu können. Reale Praxisbeispiele runden das Buch ab.
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the ...
详细信息
ISBN:
(数字)9783540483328
ISBN:
(纸本)9783540577850
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.
Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen und Bildern bis hin zur Virtual Reality. Die Anwendung dieser Techniken profitiert von einem soliden Verständnis der entsprechend...
详细信息
ISBN:
(数字)9783834896797
Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen und Bildern bis hin zur Virtual Reality. Die Anwendung dieser Techniken profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das erfolgreiche Buch von Prof. Klawonn, das jetzt bereits in der dritten Auflage vorliegt, vermittelt genau das - verständlich und nachvollziehbar. Prof. Klawonn erläutert die wesentlichen Konzepte an konkreten Beispielen und bedient sich dabei der einfachen Sprachmittel der Javaprogrammierung. Die Umsetzung erfolgt praktisch mit Java 2D und Java 3D. Auch zur dritten Auflage gibt es wieder einen umfangreichen Online-Service mit Beispielprogrammen, Aufgaben und Lösungen, Folien und farbigen Illustrationen.
This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995.;The 38 full revised papers presented were carefully s...
详细信息
ISBN:
(数字)9783540494461
ISBN:
(纸本)9783540607656
This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995.;The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of research and advanced applications in parallel languages, restructuring compilers, and runtime systems. The papers are organized in sections on fine-grain parallelism, interprocedural analysis, program analysis, Fortran 90 and HPF, loop parallelization for HPF compilers, tools and libraries, loop-level optimization, automatic data distribution, compiler models, irregular computation, object-oriented and functional parallelism.
The second instance of the international summer school on Generative and Transformational techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an au...
详细信息
ISBN:
(数字)9783540886433
ISBN:
(纸本)9783540886426
The second instance of the international summer school on Generative and Transformational techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, metamodels, documentation, and entire software systems. This concerns many areas of software engineering: software reverse and re-engineering, model-driven engineering, automated software engineering, generic language technology, to name a few. These areas di?er with regard to the speci?c sorts of metamodels (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the speci?c techniques that are employed for the generation and the transformation of the artifacts. The ?rst instance of the school was held in 2005 and its proceedings appeared as volume 4143 in the LNCS series.
provides a concise and complete source of information for the development of applications using the REXX language - IBM's systems application architecture procedural language. The book adopts a highly practical ap...
详细信息
ISBN:
(数字)9781447133766
provides a concise and complete source of information for the development of applications using the REXX language - IBM's systems application architecture procedural language. The book adopts a highly practical approach and includes many lists and diagrams to make finding the relevant information as easy to find and use as possible. It particularly emphasises the interfacing capabilities of REXX. Both beginners and experts will find the book useful. Beginners are led through the steps required to develop REXX applications via a series of worked examples, and experts will find a complete and easy reference to the language.
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conf...
详细信息
ISBN:
(数字)9783540473480
ISBN:
(纸本)9783540540090
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory.;covers new developments in theoretical aspects of database and knowledge base systems and the design of databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical, algebraic and combinatorial fundamentals of database theory and design of databases; object-oriented databases and object-oriented modeling; fundamentals of query languages, transaction processing, distributed databases, concurrency control, access strategies, recovery, security, privacy, safety; fundamentals for integrity constraints and consistency in databases; models for database machines; models for user interfaces; design and implementation of non-standard databases.
暂无评论