1
Veröffentlicht 2008
Inhaltsangabe: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... -- Generative Techniques II -- Source-Level Optimization of Run-Time Program Generators -- Statically Safe...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2007
Inhaltsangabe: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... -- Interface Composition for Web Service Intermediaries -- Goal-Oriented Composition of Services -- Composing...
Volltext
Elektronisch E-Book
10
von Albert, Jim., Albert, Jim.
Veröffentlicht 2007
Inhaltsangabe: ... -- Regression Models -- Gibbs Sampling -- Using R to Interface with WinBUGS....
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... to Construct Benchmark Problems for Dynamic Optimization -- A Study on the Performance of Substitute Distance...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2006
Inhaltsangabe: ... Achievement Process to Project Business Cases -- Optimizing Process Decision in COTS-Based Development Via...
Volltext
Elektronisch E-Book
14
von Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Veröffentlicht 2005
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2010
Inhaltsangabe: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2010
Inhaltsangabe: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2013
Inhaltsangabe: ... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2005
Inhaltsangabe: ...-optimizing Systems -- Exploiting Hub States in Automatic Verification -- Combined Methods -- An Approach...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... Optimization Based on Multistate Cost Models for a Dynamic Multidatabase System -- Artificial Intelligence...
Volltext
Elektronisch E-Book
20
von Troelsen, Andrew., Troelsen, Andrew.
Veröffentlicht 2008
Inhaltsangabe: ... -- Advanced VB Programming Constructs -- Working with Interface Types -- Collections, Generics, and Nullable...
Volltext
Elektronisch E-Book