Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionals transformation » functional transformations, national transformation, fractional transformations
transformation https » transportation https, transformation actors, translation https
parallel programs » parallel programming
https functionals » type functionals, data functionals, flaps functional
functionals transformation » functional transformations, national transformation, fractional transformations
transformation https » transportation https, transformation actors, translation https
parallel programs » parallel programming
https functionals » type functionals, data functionals, flaps functional
1
Argitaratua 2008
Aurkibidea:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”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:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2013
Aurkibidea:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”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 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2013
Aurkibidea:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2014
Aurkibidea:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2013
Aurkibidea:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Testu osoa
Baliabide elektronikoa
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Argitaratua 2013
Aurkibidea:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
14
Aurkibidea:
“... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2006
Aurkibidea:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2015
Aurkibidea:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Schur Functions -- Trace-Class Weyl Transforms....”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... with Formal Analysis, Transformation and Dynamicity -- Safety and Response-Time Analysis of an Automotive...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]