1
Argitaratua 2013
Aurkibidea: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
5
nork Fischer, Robert., Fischer, Robert.
Argitaratua 2015
Gaiak: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Testu osoa
Baliabide elektronikoa eBook
8
nork Sharan, Kishori., Sharan, Kishori.
Argitaratua 2014
Gaiak: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2012
Aurkibidea: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2005
Aurkibidea: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Testu osoa
Baliabide elektronikoa eBook
11
Aurkibidea: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2014
Aurkibidea: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
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 2005
Aurkibidea: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2013
Aurkibidea: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Aurkibidea: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2008
Aurkibidea: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2015
Aurkibidea: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2010
Aurkibidea: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Testu osoa
Baliabide elektronikoa eBook