Search Results - programs fast program https array https

1

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

Published 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
View full text

Electronic eBook

2

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
View full text

Electronic eBook

4

The Square Kilometre Array: An Engineering Perspective

Published 2005

Table of Contents: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
View full text

Electronic eBook

5

Foundations of C++/CLI The Visual C++ Language for .NET 3.5 /

by Hogenson, Gordon., Hogenson, Gordon.
Published 2008

Table of Contents: “...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...”
View full text

Electronic eBook

6

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

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

7

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

Published 2015

Table of Contents: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
View full text

Electronic eBook

8

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

9

PHP 5 Recipes A Problem-Solution Approach /

by Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Published 2005

Table of Contents: “... -- Performing Math Operations -- Working with Arrays -- Working with Dates and Times -- Working with Strings...”
View full text

Electronic eBook

10

Foundation PHP 5 for Flash

by Powers, David., Powers, David.
Published 2005

Table of Contents: “... and Things -- Working Smarter with Arrays and Loops -- PHP and Databases: Packing Real Power Behind Your...”
View full text

Electronic eBook

11

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

Published 2013

Table of Contents: “... Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner...”
View full text

Electronic eBook

12

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

Published 2006

Table of Contents: “... Algorithms -- Register Pressure in Software-Pipelined Loop Nests: Fast Computation and Impact on Architecture...”
View full text

Electronic eBook

13

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Published 2007

Table of Contents: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
View full text

Electronic eBook

14

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

15

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...”
View full text

Electronic eBook

16

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
View full text

Electronic eBook

17

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

18

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

Published 2015

Table of Contents: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
View full text

Electronic eBook

19

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Published 2005

Table of Contents: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
View full text

Electronic eBook

20

The Definitive Guide to SQLite

by Owens, Mike., Owens, Mike.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Narrow Search