Search Results - programs improved 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

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
View full text

Electronic eBook

4

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

5

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

Table of Contents: “... -- Inferring Relevant Fields and Addresses -- Applying Widening in Fixpoint Calculations -- Part III Improving...”
View full text

Electronic eBook

6

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
View full text

Electronic eBook

7

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
View full text

Electronic eBook

8

The Definitive Guide to GCC

by von Hagen, William., von Hagen, William.
Published 2006

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

9

Molecular Marker Systems in Plant Breeding and Crop Improvement

Published 2005

Table of Contents: “...: Mapping in Sugar Beet -- Molecular Markers in Genetics and Breeding: Improvement of Alfalfa (Medicago...”
View full text

Electronic eBook

10

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: “..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”
View full text

Electronic eBook

11

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
View full text

Electronic eBook

12

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

13

Pro Perl

by Wainwright, Peter., Wainwright, Peter.
Published 2005

Table of Contents: “... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...”
View full text

Electronic eBook

14

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: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
View full text

Electronic eBook

15

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: “... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...”
View full text

Electronic eBook

16

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 /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

17

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “... -- Improving the Performance of X10 Programs by Clock Removal -- Taming Control Divergence in GPUs through...”
View full text

Electronic eBook

18

Pro C# 2005 and the .NET 2.0 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2005

Table of Contents: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
View full text

Electronic eBook

19

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: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
View full text

Electronic eBook

20

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: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
View full text

Electronic eBook

Narrow Search