1
Baskı/Yayın Bilgisi 2010
İçindekiler: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Tam Metin Erişim
Elektronik Ekitap
2
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
3
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Tam Metin Erişim
Elektronik Ekitap
4
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
5
Baskı/Yayın Bilgisi 2013
İçindekiler: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2013
İçindekiler: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2013
İçindekiler: ... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2014
İçindekiler: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2012
İçindekiler: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Analysis and Finite Mixture Models -- Visualizing Contingency Tables -- Mosaic Plots and Their Variants...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2008
İçindekiler: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2006
İçindekiler: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2014
İçindekiler: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2006
İçindekiler: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Tam Metin Erişim
Elektronik Ekitap