Rekommenderade teman
Rekommenderade teman
Menade du:
computation programming » communication programming, computation programmatic, computing programming
programming semantics » programming mathematics, programming series, programming secrets
general computation » general computational, neural computation, genetic computation
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
computation programming » communication programming, computation programmatic, computing programming
programming semantics » programming mathematics, programming series, programming secrets
general computation » general computational, neural computation, genetic computation
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Publicerad 2013
Innehållsförteckning:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2005
Innehållsförteckning:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”Hämta fulltext
Elektronisk
E-bok
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis -- Affine...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2008
Innehållsförteckning:
“... Classification under Imbalanced Data sets: Active Sub-sampling and AUC Approximation -- Exposing a Bias Toward...”Hämta fulltext
Elektronisk
E-bok
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicerad 2010
Innehållsförteckning:
“... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2007
Innehållsförteckning:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2005
Innehållsförteckning:
“... -- Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays -- A Geometric Approach...”Hämta fulltext
Elektronisk
E-bok
9
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicerad 2008
Innehållsförteckning:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2006
Innehållsförteckning:
“...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2010
Innehållsförteckning:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2010
Innehållsförteckning:
“... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2005
Innehållsförteckning:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2015
Innehållsförteckning:
“... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2008
Innehållsförteckning:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2006
Innehållsförteckning:
“... Formulas -- Design and Implementation of : A Real-Time Action Description Language -- Program...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2007
Innehållsförteckning:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2007
Innehållsförteckning:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2008
Innehållsförteckning:
“... -- Network as a Computer: Ranking Paths to Find Flows -- A Unified Categorical Approach for Attributed Graph...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2005
Innehållsförteckning:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Hämta fulltext
Elektronisk
E-bok