1
Julkaistu 2005
Sisällysluettelo: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2008
Sisällysluettelo: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2013
Sisällysluettelo: ... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2006
Sisällysluettelo: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2005
Sisällysluettelo: ... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2008
Sisällysluettelo: ... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2014
Sisällysluettelo: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2013
Sisällysluettelo: ... Papers -- Propositional Proof Complexity I -- Exponential Separations in a Hierarchy of Clause Learning...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2014
Sisällysluettelo: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Hae kokoteksti
Elektroninen E-kirja