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