1
Wydane 2010
Spis treści: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2015
Spis treści: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2008
Spis treści: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2007
Spis treści: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2005
Spis treści: ... Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2012
Spis treści: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2008
Spis treści: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2007
Spis treści: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2005
Spis treści: ... Transliteration with Precise Alignment of Phoneme Chunks and Using Contextual Features -- Combining Sentence...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2006
Spis treści: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2012
Spis treści: ...Control Strategies of a Mobile Robot Inspector in Inaccessible Areas -- Advanced High Precision...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2008
Spis treści: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2007
Spis treści: ... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2015
Spis treści: ... -- A New Sign Distance-based Ranking Method for Fuzzy Numbers -- Application of Precise-Spike-Driven...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2015
Spis treści: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2015
Spis treści: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book