Søgeresultater - program java program evaluation array https

1

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

2

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

Udgivet 2006

Indholdsfortegnelse: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Få fuldtekst

Electronisk eBog

3

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

4

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Få fuldtekst

Electronisk eBog

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Få fuldtekst

Electronisk eBog

6

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Få fuldtekst

Electronisk eBog

7

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Få fuldtekst

Electronisk eBog

8

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”
Få fuldtekst

Electronisk eBog

9

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Få fuldtekst

Electronisk eBog

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Få fuldtekst

Electronisk eBog

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
Få fuldtekst

Electronisk eBog

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”
Få fuldtekst

Electronisk eBog

13

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning