Resultats de la cerca - program large program https array https

1

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

Publicat 2006

Taula de continguts: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Obtenir text complet

Electrònic eBook

2

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

per Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicat 2006

Taula de continguts: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Obtenir text complet

Electrònic eBook

3

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicat 2012

Taula de continguts: “... for the Nonlinear Matrix Equation X + AHX−1A + BHX−1B = I.-Part V: Applications of Metaheuristics to Large...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2008

Taula de continguts: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Obtenir text complet

Electrònic eBook

5

The Square Kilometre Array: An Engineering Perspective

Publicat 2005

Taula de continguts: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Obtenir text complet

Electrònic eBook

6

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Publicat 2015

Taula de continguts: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
Obtenir text complet

Electrònic eBook

7

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

Publicat 2005

Taula de continguts: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2006

Taula de continguts: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Obtenir text complet

Electrònic eBook

9

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

Publicat 2007

Taula de continguts: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Obtenir text complet

Electrònic eBook

10

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... of Programming Language Dialects -- The Tenjinno Machine Translation Competition -- Large Scale Inference...”
Obtenir text complet

Electrònic eBook

11

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

Publicat 2013

Taula de continguts: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Obtenir text complet

Electrònic eBook

12

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obtenir text complet

Electrònic eBook

13

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... of Relative Large Combinational Logic Circuits -- Hardware-Software Codesign and Platforms for Adaptive...”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2010

Taula de continguts: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Obtenir text complet

Electrònic eBook

15

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicat 2014

Taula de continguts: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Obtenir text complet

Electrònic eBook

16

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Publicat 2012

Taula de continguts: “... for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft...”
Obtenir text complet

Electrònic eBook

17

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Publicat 2015

Taula de continguts: “... at Exascale Level -- Rapid Tomographic Image Reconstruction via Large-Scale Parallelization -- Software...”
Obtenir text complet

Electrònic eBook

18

The Definitive Guide to SQLite

per Owens, Mike., Owens, Mike.
Publicat 2006

Matèries: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet

Electrònic eBook

19

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Publicat 2005

Taula de continguts: “...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...”
Obtenir text complet

Electrònic eBook

20

VLSI-SoC: From Systems to Silicon IFIP TC10/ WG 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2005), October 17-19, 2005, Perth, Australia /

Publicat 2007

Taula de continguts: “... Implementations of Pipelined and Non-Pipelined Signed Radix-4 Array Multiplier and Modified Booth Multiplier...”
Obtenir text complet

Electrònic eBook

Refinar cerca