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