1
Udgivet 2010
Indholdsfortegnelse: ... Classification -- On Optimization of Coefficient-Sensitivity and State-Structure for Two Dimensional (2-D...
Få fuldtekst
Electronisk eBog
2
Fag: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
4
Fag: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ...A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... Algorithm for Heterogeneous Systems -- Two-Dimensional Matrix Partitioning for Parallel Computing...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Få fuldtekst
Electronisk eBog
12
Udgivet 2005
Indholdsfortegnelse: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Få fuldtekst
Electronisk eBog
13
Udgivet 2014
Indholdsfortegnelse: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ... Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Indholdsfortegnelse: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...
Få fuldtekst
Electronisk eBog
18
Udgivet 2006
Indholdsfortegnelse: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog