1
Argitaratua 2010
Aurkibidea: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2013
Aurkibidea: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2013
Aurkibidea: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2013
Aurkibidea: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2013
Aurkibidea: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2015
Aurkibidea: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2014
Aurkibidea: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2008
Aurkibidea: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2012
Aurkibidea: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2013
Aurkibidea: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2008
Aurkibidea: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2008
Aurkibidea: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Testu osoa
Baliabide elektronikoa eBook