Rezultati - program java programming evaluation array https

Poišči alternative:
programming evaluation » programming evolution , programming evaluating , programme evaluation
java programming » c programming
evaluation array » evaluation airway , evaluation arab , evaluation asia
program java » program jarak , program a , program jom
https » http

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

Izdano 2015

Kazalo: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2006

Kazalo: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje