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

• Author(s): Chris R. Jesshope • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralParallel processing is a key topic which is becoming more important as the technology becomes more widespread. UK Parallel '96 - Proc...

• Author(s): Samuel P. Midkiff | Jose E. Moreira | Manish Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parall...

• Author(s): Tom Conte • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceAs Chairmen of HiPEAC 2005, we have the pleasure of welcoming you to the proceedings of the ?rst international conference promoted by the HiPEAC N...

• Author(s): Isil Dillig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpr...

• Author(s): Barbara Jobstmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract I...

• Author(s): Ralf Lämmel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book identifies, defines and illustrates the fundamental concepts and engineering techni...

• Author(s): Gisela Engeln-Müllges • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverThis comprehensive handbook gives an informal introduction to mathematical and computational principles governin...

• Author(s): Frank Mueller | Azer Bestavros • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the strictly refereed post-workshop proceedings of ...

• Author(s): Natividad Martínez Madrid • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverIntelligent technical systems are networked, embedded systems incorporating real-time capacities that are ...

• Author(s): Sao-Jie Chen | Guang-Huei Lin | Yu-Hen Hu • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Hardware - Personal Computers - GeneralFrom the Back CoverSystem on ...

• Author(s): Mary E. Mace • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis project had its beginnings in the Fall of 1980. At that time Robert Wagner suggested that I investigate compiler optimi- zati...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed ...

• Author(s): Siddharta Chatterjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralLCPC'98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, w...

• Author(s): Andrei Voronkov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 20...

• 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): Annabelle McIver • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverProbabilistic techniques are increasingly being employed in computer programs and systems because they can increa...

• Author(s): Diana Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch stellt den gesamten Sprachumfang von Ada vor. Es behandelt die g�ngigen Methoden des Software-Engi...

• Author(s): Alexander Meduna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringAutomata and Languages presents a step-by-step development of the theory of automata, languages and computation. Intended to be used as...

• Author(s): Larry Carter • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralIn August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from ...

• Author(s): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiPractical Programming in the Cell Broadband Engine offers a unique programming guide for...

• Author(s): Mitsuhisa Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverCovering research topics from system software such as programming languages, compilers, runtime systems, oper...

• Author(s): Wolfgang E. Nagel | Diana Goehringer | Pedro C. Diniz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Alexis Espinosa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators...

• Author(s): Wolfgang E. Nagel | Diana Goehringer | Pedro C. Diniz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on...

• Author(s): Partha Pratim Pande • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book provides a comprehensive guide to the design of sustainable and green computing systems (GSC). Coverage inc...

• Author(s): Joachim Ziegler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDas Buch bietet eine vollst�ndige Einf�hrung in die prozedurale Programmierung anhand der Skriptsprache Perl. Eine F�lle praxis...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Alastair Donaldson | David Parker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking...

• Author(s): Diana Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDieses Buch stellt den gesamten Sprachumfang von Ada vor. Es behandelt die g�ngigen Methoden des Software-Engi...

• Author(s): Allen Holder • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Operations ResearchFrom the Back CoverThis textbook provides an introduction to the growing inter...

• Author(s): Martin Abadi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriente...

• Author(s): Conor Ryan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis handbook offers a comprehensive treatise on Grammatical Evolution (GE), a grammar-based Evolutionary Alg...

• Author(s): Beningo, Jacob • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Engineering • BISAC: Hardware - GeneralFrom the Back CoverGain the knowledge and skills necessary to improve your embedded software and benefit from...

• Author(s): Gerhard Goos | Guido Persch | Jürgen Uhl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedAda ist eine Systemprogrammiersprache, geeignet zum Schreiben groBer Programmsysteme, die aus vielen g...

• Author(s): Edmund Clarke | Irina Virbitskaite | Andrei Voronkov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitThis book contains thoroughly refereed and revised pape...