Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionality computing » functionality combining, function computing, functionality using
systems functionality » system functionality, systems fractionality, systems functionalities
parallel programming » parallel processing
programming systems » programming system, programming series, programming problems
https » http
functionality computing » functionality combining, function computing, functionality using
systems functionality » system functionality, systems fractionality, systems functionalities
parallel programming » parallel processing
programming systems » programming system, programming series, programming problems
https » http
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:
“... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”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
Argitaratua 2005
Aurkibidea:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2011
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Argitaratua 2014
Aurkibidea:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... Algorithm for Heterogeneous Systems -- Two-Dimensional Matrix Partitioning for Parallel Computing...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2007
Aurkibidea:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Testu osoa
Baliabide elektronikoa
eBook
18
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Testu osoa
Baliabide elektronikoa
eBook