-
1
-
2Published 2005Table of Contents: “… Communications -- Reconfigurable Hardware Technologies -- Design Flow for Reconfigurable Systems-on-Chip…”
Full Text via HEAL-Link
Electronic eBook -
3by Vajda, AndrásTable of Contents: “… Operating Systems -- The Fundamental Laws of Parallelism -- Fundamentals of Parallel Programming…”
Published 2011
Full Text via HEAL-Link
Electronic eBook -
4by Voros, Nikolaos S.Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
Published 2005
Get full text
Electronic Kit Book -
5by Chu, Pong P., 1959-Subjects: “…Systems on a chip.…”
Published 2011
Full Text via HEAL-Link
eBook -
6Published 2008Table of Contents: “… Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental…”
Full Text via HEAL-Link
Electronic eBook -
7Published 2010Table of Contents: “… on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through…”
Full Text via HEAL-Link
Electronic eBook -
8Published 2007Table of Contents: “…Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1…”
Full Text via HEAL-Link
Electronic eBook -
9Published 2006Table of Contents: “… and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying…”
Full Text via HEAL-Link
Electronic eBook -
10Published 2005Table of Contents: “… Modeling Languages (CSDUML’04): Current Developments and Future Challenges (Report on the Third…”
Full Text via HEAL-Link
Electronic eBook -
11Published 2003Table of Contents: “… Complex System-On-Chip Using UML and Executable System Models -- Using the SHE Method for UML-Based…”
Full Text via HEAL-Link
Electronic eBook -
12Published 2010Subjects: “…Programming languages (Electronic computers).…”
Full Text via HEAL-Link
Electronic eBook -
13Published 2008Table of Contents: “… Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards…”
Full Text via HEAL-Link
Electronic eBook -
14Published 2010Table of Contents: “… -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local…”
Full Text via HEAL-Link
Electronic eBook -
15Published 2003Table of Contents: “… Parallel Programming Language -- Compiler and Middleware Support for Scalable Data Mining -- Bridging…”
Full Text via HEAL-Link
Electronic eBook -
16Published 2013Table of Contents: “… Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects…”
Full Text via HEAL-Link
Electronic eBook -
17Published 2007Table of Contents: “… Kinds of System Descriptions as Synchronous Programs -- UML-Based System Specification and Design -- A…”
Full Text via HEAL-Link
Electronic eBook -
18Table of Contents: “… Programming for Microcontrollers -- Exploring the Capabilities of On-Chip Resources Programming for I/O Ports…”
Full Text via HEAL-Link
Electronic eBook -
19Published 2008Table of Contents: “… -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler…”
Full Text via HEAL-Link
Electronic eBook -
20Published 2010Table of Contents: “…-Oriented Programming Model -- Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs…”
Full Text via HEAL-Link
Electronic eBook