Resultados da busca - parallel array program function modelling https

1

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

Publicado em 2007

Sumário: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2006

Sumário: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2005

Sumário: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2010

Sumário: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

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

Publicado em 2006

Sumário: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

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

Publicado em 2013

Sumário: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

por Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Publicado em 2005

Sumário: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

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

Publicado em 2014

Sumário: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

A Primer on Scientific Programming with Python

por Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicado em 2014

Sumário: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2008

Sumário: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

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

Publicado em 2007

Sumário: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2006

Sumário: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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

Publicado em 2008

Sumário: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

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

Publicado em 2012

Sumário: “... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

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

Publicado em 2013

Sumário: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obter o texto integral

Recurso Eletrônico livro eletrônico