検索結果 - parallel array program functionality modelling https*

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版事項 2007

目次: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
全文の入手

電子媒体 eBook

2

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

出版事項 2006

目次: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
全文の入手

電子媒体 eBook

3

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

4

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

5

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

6

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

出版事項 2013

目次: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
全文の入手

電子媒体 eBook

7

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

8

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

出版事項 2014

目次: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
全文の入手

電子媒体 eBook

9

A Primer on Scientific Programming with Python

著者: Langtangen, Hans Petter., Langtangen, Hans Petter.
出版事項 2014

目次: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
全文の入手

電子媒体 eBook

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

出版事項 2008

目次: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
全文の入手

電子媒体 eBook

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版事項 2007

目次: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
全文の入手

電子媒体 eBook

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

出版事項 2006

目次: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
全文の入手

電子媒体 eBook

13

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

出版事項 2008

目次: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
全文の入手

電子媒体 eBook

14

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

出版事項 2012

目次: “... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”
全文の入手

電子媒体 eBook

15

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

出版事項 2010

目次: “... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...”
全文の入手

電子媒体 eBook

16

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

出版事項 2013

目次: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
全文の入手

電子媒体 eBook

17

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版事項 2015

目次: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
全文の入手

電子媒体 eBook

18

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

出版事項 2005

目次: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
全文の入手

電子媒体 eBook

19

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

出版事項 2008

目次: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
全文の入手

電子媒体 eBook

20

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

出版事項 2010

目次: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
全文の入手

電子媒体 eBook

絞込み検索