1
منشور في 2010
جدول المحتويات: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2006
جدول المحتويات: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2005
جدول المحتويات: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2015
جدول المحتويات: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2008
جدول المحتويات: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2006
جدول المحتويات: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2013
جدول المحتويات: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
منشور في 2015
الموضوعات: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2010
جدول المحتويات: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2010
جدول المحتويات: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2010
جدول المحتويات: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
منشور في 2012
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
احصل على النص الكامل
الكتروني كتاب الكتروني