Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program papers » program pages, program planners, progress papers
papers program » paper program, mars program, papers prom
program https » programs https, program has, program help
program papers » program pages, program planners, progress papers
papers program » paper program, mars program, papers prom
program https » programs https, program has, program help
1
Udgivet 2008
Indholdsfortegnelse:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2013
Indholdsfortegnelse:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2015
Indholdsfortegnelse:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2006
Indholdsfortegnelse:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”Få fuldtekst
Electronisk
eBog
6
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Udgivet 2014
Indholdsfortegnelse:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2007
Indholdsfortegnelse:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... Scope Analysis for Generic Programs on Arrays....”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2014
Indholdsfortegnelse:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2007
Indholdsfortegnelse:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Få fuldtekst
Electronisk
eBog



