1
יצא לאור 2010
תוכן הענינים: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ... Power -- Reducing Misspeculation Penalty in Trace-Level Speculative Multithreaded Architectures...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ... Model Tracing -- Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים: ... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים: ... de Bruijn Sequences -- Multiplicative Character Sums of Recurring Sequences with Rédei Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2015
תוכן הענינים: ... -- vZ - An Optimizing SMT Solver -- dReach: δ-Reachability Analysis for Hybrid Systems -- Uppaal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... Swarm Optimization Algorithm -- A Web-Based Integrated System for Construction Project Cost Prediction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ... Aspects and Challenges -- Optimizing Winning Strategies in Regular Infinite Games -- Foundations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... Expressiveness -- Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages -- A Decidable...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים: ... for License Plate Recognition -- Optimizing Fuzzy ARTMAP Ensembles Using Hierarchical Parallel Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ... -- An Interactive Graphical Environment for Code Optimization -- Memory Allocation Tracing with VampirTrace...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2006
תוכן הענינים: ... OPTIMIZATION -- ADAPTIVE DIRECTIONAL WEIGHTED MEDIAN FILTERING -- AN INTERACTIVE WORKFLOW MANAGEMENT FUNCTION...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני