1
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
View full text
Electronic eBook
7
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Spanners on Dynamic Graphs -- An Experimental Study of Algorithms for Fully Dynamic Transitive Closure...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... to Approximate Physarum Transport Networks -- Applications Predicting Shellfish Farm Closures with Class...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
View full text
Electronic eBook