1
Veröffentlicht 2011
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2006
Inhaltsangabe: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...
Volltext
Elektronisch E-Book
8
von Pace, Larry., Pace, Larry., Wiley, Joshua.
Veröffentlicht 2015
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
9
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Volltext
Elektronisch E-Book
11
von Sharan, Kishori., Sharan, Kishori.
Veröffentlicht 2014
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2015
Inhaltsangabe: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2014
Inhaltsangabe: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Inhaltsangabe: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2010
Inhaltsangabe: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book