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