Søgeresultater - program improve program https array https

1

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

Udgivet 2006

Indholdsfortegnelse: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Få fuldtekst

Electronisk eBog

2

VEE Pro: Practical Graphical Programming

af Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Udgivet 2005

Indholdsfortegnelse: “... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2010

Indholdsfortegnelse: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2008

Indholdsfortegnelse: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Få fuldtekst

Electronisk eBog

5

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

af Simon, Axel., Simon, Axel.
Udgivet 2008

Indholdsfortegnelse: “... -- Inferring Relevant Fields and Addresses -- Applying Widening in Fixpoint Calculations -- Part III Improving...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2008

Indholdsfortegnelse: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2010

Indholdsfortegnelse: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
Få fuldtekst

Electronisk eBog

8

The Definitive Guide to GCC

af von Hagen, William., von Hagen, William.
Udgivet 2006

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

9

Molecular Marker Systems in Plant Breeding and Crop Improvement

Udgivet 2005

Indholdsfortegnelse: “...: Mapping in Sugar Beet -- Molecular Markers in Genetics and Breeding: Improvement of Alfalfa (Medicago...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2014

Indholdsfortegnelse: “..., memcpy, and Beyond -- An Improved Unrolling-Based Decision Procedure for Algebraic Data Types -- Program...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2006

Indholdsfortegnelse: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Få fuldtekst

Electronisk eBog

12

PHP 5 Recipes A Problem-Solution Approach /

af Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Udgivet 2005

Indholdsfortegnelse: “... -- Performing Math Operations -- Working with Arrays -- Working with Dates and Times -- Working with Strings...”
Få fuldtekst

Electronisk eBog

13

Pro Perl

af Wainwright, Peter., Wainwright, Peter.
Udgivet 2005

Indholdsfortegnelse: “... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2013

Indholdsfortegnelse: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2006

Indholdsfortegnelse: “... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2006

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

Electronisk eBog

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...

Udgivet 2014

Indholdsfortegnelse: “... -- Improving the Performance of X10 Programs by Clock Removal -- Taming Control Divergence in GPUs through...”
Få fuldtekst

Electronisk eBog

18

Pro C# 2005 and the .NET 2.0 Platform

af Troelsen, Andrew., Troelsen, Andrew.
Udgivet 2005

Indholdsfortegnelse: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2007

Indholdsfortegnelse: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2010

Indholdsfortegnelse: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning