1
Veröffentlicht 2010
Inhaltsangabe: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2005
Inhaltsangabe: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2008
Inhaltsangabe: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2014
Inhaltsangabe: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volltext
Elektronisch E-Book
7
Inhaltsangabe: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volltext
Elektronisch E-Book
9
Inhaltsangabe: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volltext
Elektronisch E-Book
11
Inhaltsangabe: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volltext
Elektronisch E-Book
12
Inhaltsangabe: ... Programming -- Using LINQ -- Windows Presentation Foundation....
Volltext
Elektronisch E-Book
13
Veröffentlicht 2006
Inhaltsangabe: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2006
Inhaltsangabe: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2015
Inhaltsangabe: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2014
Inhaltsangabe: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2013
Inhaltsangabe: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2015
Inhaltsangabe: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2012
Inhaltsangabe: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2006
Inhaltsangabe: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Volltext
Elektronisch E-Book