検索結果 - programming flow programs https array https

1

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

出版事項 2010

目次: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
全文の入手

電子媒体 eBook

2

VEE Pro: Practical Graphical Programming

著者: Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
出版事項 2005

目次: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
全文の入手

電子媒体 eBook

3

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

出版事項 2008

目次: “... Data Flow Analysis for OpenMP Programs -- Design and Implementation of OpenMPD: An OpenMP-Like...”
全文の入手

電子媒体 eBook

4

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

著者: Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
出版事項 2005

目次: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
全文の入手

電子媒体 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 /

出版事項 2005

目次: “... -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake...”
全文の入手

電子媒体 eBook

6

Beginning Perl

著者: Lee, James., Lee, James.
出版事項 2010

目次: “...First Steps in Perl -- Scalars -- Control Flow Constructs -- Lists and Arrays -- Hashes...”
全文の入手

電子媒体 eBook

7

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

出版事項 2008

目次: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
全文の入手

電子媒体 eBook

8

Pro Perl

著者: Wainwright, Peter., Wainwright, Peter.
出版事項 2005

目次: “... -- Operators -- Arrays, Hashes, References, and Typeglobs -- Structure, Flow, and Control -- Subroutines...”
全文の入手

電子媒体 eBook

9

Swift for Absolute Beginners

著者: Bennett, Gary., Bennett, Gary., Lees, Brad.
出版事項 2015

主題: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
全文の入手

電子媒体 eBook

10

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

出版事項 2014

目次: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
全文の入手

電子媒体 eBook

11

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

出版事項 2013

目次: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
全文の入手

電子媒体 eBook

12

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

出版事項 2006

目次: “... Core Processors -- Code Transformations for One-Pass Analysis -- Scalable Array SSA and Array Data Flow...”
全文の入手

電子媒体 eBook

13

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

出版事項 2006

目次: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
全文の入手

電子媒体 eBook

14

Foundations of Java for ABAP Programmers

著者: Rooney, Alistair., Rooney, Alistair.
出版事項 2006

目次: “... -- Control Flow -- Jump Statements -- Arrays and Collections in Java -- Object Orientation in Java -- More OO...”
全文の入手

電子媒体 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...

出版事項 2014

目次: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
全文の入手

電子媒体 eBook

16

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

出版事項 2010

目次: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
全文の入手

電子媒体 eBook

17

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

出版事項 2005

目次: “... to the Implementation of the Dynamical Priorities Method -- Information Flow Analysis for VHDL -- Composing Fine-Grained...”
全文の入手

電子媒体 eBook

18

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

出版事項 2007

目次: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
全文の入手

電子媒体 eBook

19

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

出版事項 2015

目次: “... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”
全文の入手

電子媒体 eBook

20

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

出版事項 2013

目次: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
全文の入手

電子媒体 eBook

絞込み検索