Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming https » programming http, programming hands, programming hints
space programming » stage programming, safe programming, scale programming
programs space » programmes space, programme space, programs sparse
programming https » programming http, programming hands, programming hints
space programming » stage programming, safe programming, scale programming
programs space » programmes space, programme space, programs sparse
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Publicado 2008
Table of Contents:
“... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... Kilometre Array Molonglo Prototype (SKAMP) Correlator -- COTS Correlator Platform -- DSN Deep-Space Array...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2006
Table of Contents:
“... -- Programmed Metal Arrays by Means of Designable Biological Macromolecules -- Metal-Incorporated Hosts...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2013
Table of Contents:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2007
Table of Contents:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2015
Table of Contents:
“... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Ligazón do recurso
Electrónico
eBook
18
Table of Contents:
“... -- Exposé and Spaces -- Time Machine -- iCal -- iTunes -- iPhoto -- iMovie and iDVD -- GarageBand -- iWeb...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Inspired Information Filtering in a High Dimensional Space -- On the Benefits of Aging and the Importance...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“... in Stringology -- Small-Space 2D Compressed Dictionary Matching -- Bidirectional Search in a String with Wavelet...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- 4
- Seguinte »
- [4]