1
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
por Simon, Axel., Simon, Axel.
Publicado 2008
Table of Contents: ... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...
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
por Williams, Justin., Williams, Justin.
Publicado 2007
Table of Contents: ... -- Exposé and Spaces -- Time Machine -- iCal -- iTunes -- iPhoto -- iMovie and iDVD -- GarageBand -- iWeb...
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