Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
communication programming » communications programming, communication programmed, communication programmes
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
communication programming » communications programming, communication programmed, communication programmes
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Table of Contents:
“... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”Ligazón do recurso
Electrónico
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2008
Table of Contents:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2015
Table of Contents:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2005
Table of Contents:
“... of Frequent Pattern Queries -- A General Effective Framework for Monotony and Tough Constraint Based...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2005
Table of Contents:
“... in Metric Spaces -- Incremental Read-Aheads -- RAM: A Multidimensional Array DBMS -- Handling...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2013
Table of Contents:
“... Home Automation System -- Design of a Smart Battery System for Laptop Computer -- A Novel Fuzzy Neural...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]