Author: FPGA 16 Conference Committee
Publisher:
ISBN: 9781450338561
Category : Computers
Languages : en
Pages : 300
Book Description
24th ACM/SIGADA International Symposium on Field Programmable Gate Arrays
Author: FPGA 16 Conference Committee
Publisher:
ISBN: 9781450338561
Category : Computers
Languages : en
Pages : 300
Book Description
Publisher:
ISBN: 9781450338561
Category : Computers
Languages : en
Pages : 300
Book Description
FPGA 15 23rd ACM/Sigada International Symposium on Field Programmable Gate Arrays
Author: Fpga 15 Conference Committees
Publisher:
ISBN: 9781450333153
Category : Computers
Languages : en
Pages : 294
Book Description
Publisher:
ISBN: 9781450333153
Category : Computers
Languages : en
Pages : 294
Book Description
Proceedings of ACM SIGCOMM '96 Conference
Author:
Publisher:
ISBN:
Category : Computer architecture
Languages : en
Pages : 774
Book Description
Publisher:
ISBN:
Category : Computer architecture
Languages : en
Pages : 774
Book Description
Index of Conference Proceedings
Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 696
Book Description
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 696
Book Description
Advanced Compiler Design Implementation
Author: Steven Muchnick
Publisher: Morgan Kaufmann
ISBN: 9781558603202
Category : Computers
Languages : en
Pages : 894
Book Description
Computer professionals who need to understand advanced techniques for designing efficient compilers will need this book. It provides complete coverage of advanced issues in the design of compilers, with a major emphasis on creating highly optimizing scalar compilers. It includes interviews and printed documentation from designers and implementors of real-world compilation systems.
Publisher: Morgan Kaufmann
ISBN: 9781558603202
Category : Computers
Languages : en
Pages : 894
Book Description
Computer professionals who need to understand advanced techniques for designing efficient compilers will need this book. It provides complete coverage of advanced issues in the design of compilers, with a major emphasis on creating highly optimizing scalar compilers. It includes interviews and printed documentation from designers and implementors of real-world compilation systems.
Model-Driven Engineering and Software Development
Author: Slimane Hammoudi
Publisher: Springer Nature
ISBN: 3030674452
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.
Publisher: Springer Nature
ISBN: 3030674452
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.
Smalltalk-80
Author: Adele Goldberg
Publisher:
ISBN:
Category : Smalltalk-80 (Computer program language)
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Smalltalk-80 (Computer program language)
Languages : en
Pages : 0
Book Description
Concrete Semantics
Author: Tobias Nipkow
Publisher: Springer
ISBN: 3319105426
Category : Computers
Languages : en
Pages : 304
Book Description
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.
Publisher: Springer
ISBN: 3319105426
Category : Computers
Languages : en
Pages : 304
Book Description
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.
FPGA '15 : the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays : February 22-24, 2015, Monterey, California, USA.
Author: George A. Constantinides
Publisher:
ISBN:
Category :
Languages : en
Pages : 280
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 280
Book Description