Resultados de procura - parallel array programs function based https

1

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

Publicado 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Ligazón do recurso

Electrónico eBook

2

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

Publicado 2006

Table of Contents: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Ligazón do recurso

Electrónico eBook

3

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicado 2007

Table of Contents: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
Ligazón do recurso

Electrónico eBook

4

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

Publicado 2010

Table of Contents: “...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”
Ligazón do recurso

Electrónico eBook

5

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

Publicado 2005

Table of Contents: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Ligazón do recurso

Electrónico eBook

6

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

Publicado 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Ligazón do recurso

Electrónico eBook

7

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

Publicado 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Ligazón do recurso

Electrónico eBook

8

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

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

Table of Contents: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Ligazón do recurso

Electrónico eBook

9

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

por Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicado 2006

Table of Contents: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Ligazón do recurso

Electrónico eBook

10

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

Publicado 2008

Table of Contents: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Ligazón do recurso

Electrónico eBook

11

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

Publicado 2006

Table of Contents: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Ligazón do recurso

Electrónico eBook

12

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 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Ligazón do recurso

Electrónico eBook

13

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicado 2010

Table of Contents: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Ligazón do recurso

Electrónico eBook

14

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

Publicado 2013

Table of Contents: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Ligazón do recurso

Electrónico eBook

15

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 2015

Table of Contents: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Ligazón do recurso

Electrónico eBook

16

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

Publicado 2012

Table of Contents: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Ligazón do recurso

Electrónico eBook

17

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

Publicado 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Ligazón do recurso

Electrónico eBook

18

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Publicado 2010

Table of Contents: “... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...”
Ligazón do recurso

Electrónico eBook

19

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Publicado 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Ligazón do recurso

Electrónico eBook

20

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

por Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Publicado 2007

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados