Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
5 functionality » 85 functionality, _ functionality, 2 functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java 5 » java _, java a, java 2
functionality function » functionals function, functionaries function, functional functions
5 functionality » 85 functionality, _ functionality, 2 functionality
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java 5 » java _, java a, java 2
1
Published 2013
Table of Contents:
“... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”View full text
Electronic
eBook
8
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook
17
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
18
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”View full text
Electronic
eBook
20
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop...
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook