Søgeresultater - program papers program https array https*

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Få fuldtekst

Electronisk eBog

2

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Få fuldtekst

Electronisk eBog

3

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Få fuldtekst

Electronisk eBog

4

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Få fuldtekst

Electronisk eBog

5

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

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

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Få fuldtekst

Electronisk eBog

8

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Få fuldtekst

Electronisk eBog

9

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Få fuldtekst

Electronisk eBog

10

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Få fuldtekst

Electronisk eBog

11

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Scope Analysis for Generic Programs on Arrays....”
Få fuldtekst

Electronisk eBog

12

The Square Kilometre Array: An Engineering Perspective

Udgivet 2005

Indholdsfortegnelse: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Få fuldtekst

Electronisk eBog

13

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Få fuldtekst

Electronisk eBog

14

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Udgivet 2005

Indholdsfortegnelse: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Få fuldtekst

Electronisk eBog

15

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Udgivet 2014

Indholdsfortegnelse: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Få fuldtekst

Electronisk eBog

16

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Udgivet 2013

Indholdsfortegnelse: “...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”
Få fuldtekst

Electronisk eBog

17

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Få fuldtekst

Electronisk eBog

18

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Udgivet 2007

Indholdsfortegnelse: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Få fuldtekst

Electronisk eBog

19

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Få fuldtekst

Electronisk eBog

20

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning