1
Udgivet 2007
Indholdsfortegnelse: ... with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Få fuldtekst
Electronisk eBog
3
Udgivet 2015
Indholdsfortegnelse: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Få fuldtekst
Electronisk eBog
4
Udgivet 2015
Indholdsfortegnelse: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Dominating Set Games -- Local Flow Betweenness Centrality for Clustering Community Graphs -- Computerized...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Få fuldtekst
Electronisk eBog
8
Udgivet 2015
Indholdsfortegnelse: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Få fuldtekst
Electronisk eBog
12
Udgivet 2015
Indholdsfortegnelse: ...-objective Quadratic Programming Problems in a Probabilistic Fuzzy Environment -- Partial Commutation on Some...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... Algorithm for Real Parameter Function Optimization Problems -- The RM-MEDA Based on Elitist Strategy...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...
Få fuldtekst
Electronisk eBog
15
Udgivet 2005
Indholdsfortegnelse: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Få fuldtekst
Electronisk eBog
16
Udgivet 2006
Indholdsfortegnelse: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Få fuldtekst
Electronisk eBog
19
Indholdsfortegnelse: ... with Variables -- Using Functions -- Understanding Web Basics -- Creating and Using Forms -- Working with Markup...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
Få fuldtekst
Electronisk eBog