Search Results - program flow programs https array https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
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: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “... Data Flow Analysis for OpenMP Programs -- Design and Implementation of OpenMPD: An OpenMP-Like...”
View full text

Electronic eBook

4

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

by Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Published 2005

Table of Contents: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
View full text

Electronic eBook

5

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake...”
View full text

Electronic eBook

6

Beginning Perl

by Lee, James., Lee, James.
Published 2010

Table of Contents: “...First Steps in Perl -- Scalars -- Control Flow Constructs -- Lists and Arrays -- Hashes...”
View full text

Electronic eBook

7

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
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

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

Published 2006

Table of Contents: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
View full text

Electronic eBook

10

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

11

Foundations of Java for ABAP Programmers

by Rooney, Alistair., Rooney, Alistair.
Published 2006

Table of Contents: “... -- Control Flow -- Jump Statements -- Arrays and Collections in Java -- Object Orientation in Java -- More OO...”
View full text

Electronic eBook

12

Swift for Absolute Beginners

by Bennett, Gary., Bennett, Gary., Lees, Brad.
Published 2015

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

Electronic eBook

13

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: “... Core Processors -- Code Transformations for One-Pass Analysis -- Scalable Array SSA and Array Data Flow...”
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

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: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

16

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

17

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

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

18

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
View full text

Electronic eBook

19

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

20

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

Published 2005

Table of Contents: “... to the Implementation of the Dynamical Priorities Method -- Information Flow Analysis for VHDL -- Composing Fine-Grained...”
View full text

Electronic eBook

Narrow Search