1
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook