Search results for “[subject: programming-compilers]”

• Author(s): Chen Ding • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Par...

• Author(s): Stefano Crespi Reghizzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverWhereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity...

• Author(s): Elfriede Fehr • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralDieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden u...

• Author(s): Robert M. Corless • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe new edition is substantially updated throughout to release of Maple 7. In particular, there are new programming features (espec...

• Author(s): Henry Gordon Dietz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis volume contains (revised versions) of papers presented at the 14th Wo- shop on Languages and Compilers for Parallel C...

• Author(s): Hanspeter Mössenböck • Publisher: Springer • Publisher Imprint: Springer • BISAC: Compilers

• Author(s): Alain Darte • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - ParallelReadership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. T...

• Author(s): Keshav Pingali | Utpal Banerjee | David Gelernter • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume presents revised versions of the 32 papers accepted for the Seventh Annual Workshop on Languag...

• Author(s): Rajiv Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is an...

• Author(s): David A. Watt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated confe...

• Author(s): Reinhard Wilhelm • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference t...

• Author(s): Neil Jones | Masami Hagiya | Masahiko Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. M...

• Author(s): Thomas Fahringer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralAutomatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the perfo...

• Author(s): Charles Lins • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book is the second volume in a series entitled The Modula-2 Software Component Library. Charles Lins' collection of reusable stand...

• Author(s): Nelson H. F. Beebe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralFrom the Back CoverAll major computer programming languages--as well as the disciplines of science and engineering more broadly--re...

• Author(s): Alan Mycroft | Andreas Zeller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federat...

• Author(s): Reinhard Wilhelm | Helmut Seidl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralVirtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert und häufig ...

• Author(s): David E. Hudak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhe...

• Author(s): Nick Harrison • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - MicrosoftFrom the Back CoverLearn how Roslyn's new code generation capability will let you write software that is more concise, runs faster, and i...

• Author(s): Thomas Fahringer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralAutomatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the perfo...

• Author(s): Liviu Gr Ixaru | Guido Vanden Berghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical AnalysisExponential Fitting is a procedure for an efficient numerical approach of functions consisting of weighted sums of...

• Author(s): Rita Loogen • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersFunktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie en...

• Author(s): João Manuel Paiva Cardoso • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides techniques to tackle the design challenges raised by the increasing diversit...

• Author(s): Jean-Francois Collard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralA new book providing a detailed and current presentation of the program analysses and transformations that extract the flow of data...

• Author(s): Zhong Shao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April...

• Author(s): Herbert Kuchen | S. Doaitse Swierstra • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementation...

• Author(s): Michael Eulenstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralDas vorliegende Buch, das aus der Saarbrücker Dissertation des Verfassers entstanden ist, beschreibt ein konkretes System ...

• Author(s): Utpal Banerjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersAutomatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and pr...

• Author(s): Günter Böckle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralMany parallel computer architectures are especially suited for particular classes of applications. However, there are only a few ...

• Author(s): Alain Darte • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - ParallelReadership This book is devoted to the study of compiler transformations that are needed to expose the parallelism hiddenin a program. T...

• Author(s): Hans Langmaack | Manfred Paul • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersProgrammiersprachen gehoren seit den Anfangen der Entwicklung des Fachgebietes Informatik zu dessen inner stem Kern. Da...

• Author(s): Maurice Bruynooghe | Jaan Penjam • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programm...

• Author(s): Matthias Felleisen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the Europ...

• Author(s): Utpal Banerjee | David Gelernter | Alex Nicolau • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis volume contains the proceedings of the Fourth Workshop on Languages andCompilers for Paral...

• Author(s): Jean-Francois Collard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralA new book providing a detailed and current presentation of the program analysses and transformations ...

• Author(s): Matthias Weber | Martin Simons | Christine LaFontaine • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsr...