1
Wydane 2010
Spis treści: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2010
Spis treści: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2005
Spis treści: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2006
Spis treści: ... Logic Programming -- Using a Logic Programming Framework to Control Database Query Dialogues in Natural...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2014
Spis treści: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2006
Spis treści: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2013
Spis treści: ... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Hasła przedmiotowe: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2010
Spis treści: ... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2010
Spis treści: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2005
Spis treści: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2010
Spis treści: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Hasła przedmiotowe: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2005
Spis treści: ... over Large Transactional Tables -- Using a More Powerful Teacher to Reduce the Number of Queries...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2010
Spis treści: ... Dependencies between Itemsets -- Discovery and Application of Functional Dependencies in Conjunctive Query...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2008
Spis treści: ... Queries over Trees Using Schema Information -- Clustering with Partial Information -- Reoptimization...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2010
Spis treści: ... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2010
Spis treści: ... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...
Dokumenty pełnotekstowe
Elektroniczne E-book