1
Argitaratua 2007
Aurkibidea: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2007
Aurkibidea: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2006
Aurkibidea: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2008
Aurkibidea: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2005
Aurkibidea: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2013
Aurkibidea: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2006
Aurkibidea: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2008
Aurkibidea: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2008
Aurkibidea: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2014
Aurkibidea: ... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...
Testu osoa
Baliabide elektronikoa eBook
18
Gaiak: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2007
Aurkibidea: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2015
Aurkibidea: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Testu osoa
Baliabide elektronikoa eBook