1
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
View full text
Electronic eBook
13
Table of Contents: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
View full text
Electronic eBook
14
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... UML Profile for Asynchronous Hardware Design -- Automated Distribution of UML 2.0 Designed...
View full text
Electronic eBook