検索結果 - parallel programming https functions flow https

1

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

出版事項 2006

目次: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
全文の入手

電子媒体 eBook

2

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

出版事項 2010

目次: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
全文の入手

電子媒体 eBook

3

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

出版事項 2013

目次: “... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”
全文の入手

電子媒体 eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版事項 2005

目次: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
全文の入手

電子媒体 eBook

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

出版事項 2008

目次: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
全文の入手

電子媒体 eBook

6

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

出版事項 2010

目次: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
全文の入手

電子媒体 eBook

7

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

出版事項 2010

目次: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
全文の入手

電子媒体 eBook

8

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

著者: Karrenberg, Ralf., Karrenberg, Ralf.
出版事項 2015

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
全文の入手

電子媒体 eBook

9

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

出版事項 2010

目次: “... of Segments -- Multi-agent Systems and Parallel Approaches -- An Island Model for the No-Wait Flow Shop...”
全文の入手

電子媒体 eBook

10

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版事項 2014

目次: “... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”
全文の入手

電子媒体 eBook

11

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

出版事項 2005

目次: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
全文の入手

電子媒体 eBook

12

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

出版事項 2006

目次: “... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”
全文の入手

電子媒体 eBook

13

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

出版事項 2008

目次: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
全文の入手

電子媒体 eBook

14

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

出版事項 2013

目次: “... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”
全文の入手

電子媒体 eBook

15

Practical Clojure

著者: VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
出版事項 2010

目次: “...The Clojure Way -- The Clojure Environment -- Controlling Program Flow -- Data in Clojure...”
全文の入手

電子媒体 eBook

16

C++ Recipes A Problem-Solution Approach /

著者: Sutherland, Bruce., Sutherland, Bruce.
出版事項 2015

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
全文の入手

電子媒体 eBook

17

Guide to Scientific Computing in C++

著者: Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
出版事項 2012

目次: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
全文の入手

電子媒体 eBook

18

Distributed Algorithms for Message-Passing Systems

著者: Raynal, Michel., Raynal, Michel.
出版事項 2013

目次: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
全文の入手

電子媒体 eBook

19

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

出版事項 2006

目次: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
全文の入手

電子媒体 eBook

20

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

出版事項 2015

目次: “...Simulation of Flow in Fractured Poroelastic Media: a Comparison of Different Discretization...”
全文の入手

電子媒体 eBook

絞込み検索