1
Gepubliceerd in 2012
Inhoudsopgave: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2005
Inhoudsopgave: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2008
Inhoudsopgave: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2013
Inhoudsopgave: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Volledige tekst
Elektronisch E-boek
6
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2015
Inhoudsopgave: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2010
Inhoudsopgave: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2015
Inhoudsopgave: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2014
Inhoudsopgave: ... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2010
Inhoudsopgave: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2005
Inhoudsopgave: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2005
Inhoudsopgave: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2008
Inhoudsopgave: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2014
Inhoudsopgave: ... Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane...
Volledige tekst
Elektronisch E-boek