Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality topics » functionality maps, functionality trpv1, functionality testing
code functionality » cova functionality, more functionality, scale functionality
parallel java » parallel data, parallel scara, parallel a
topics https » optics https, poetics https, ethics https
functionality topics » functionality maps, functionality trpv1, functionality testing
code functionality » cova functionality, more functionality, scale functionality
parallel java » parallel data, parallel scara, parallel a
topics https » optics https, poetics https, ethics https
1
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
2
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
3
Published 2014
Table of Contents:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”View full text
Electronic
eBook
9
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
10
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...-Constraint-Driven Instruction Scheduler for Post-compiling Optimization of Embedded Code -- Improving...”View full text
Electronic
eBook
14
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
15
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...”View full text
Electronic
eBook