Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
functionality evaluation » functional evaluation, function evaluation, functions evaluation
code functionality » cova functionality, more functionality, scale functionality
parallel programs » parallel programming
evaluation https » education https
programs code » program's code, program code, programs model
functionality evaluation » functional evaluation, function evaluation, functions evaluation
code functionality » cova functionality, more functionality, scale functionality
parallel programs » parallel programming
evaluation https » education https
programs code » program's code, program code, programs model
1
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”Tam Metin Erişim
Elektronik
Ekitap