Sökresultat - parallel array program functional based https

1

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

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2006

Innehållsförteckning: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2007

Innehållsförteckning: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2010

Innehållsförteckning: “...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2005

Innehållsförteckning: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2010

Innehållsförteckning: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2013

Innehållsförteckning: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Hämta fulltext

Elektronisk E-bok

8

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

av Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Publicerad 2005

Innehållsförteckning: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Hämta fulltext

Elektronisk E-bok

9

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

av Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicerad 2006

Innehållsförteckning: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2008

Innehållsförteckning: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2006

Innehållsförteckning: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2010

Innehållsförteckning: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2013

Innehållsförteckning: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2012

Innehållsförteckning: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2010

Innehållsförteckning: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2010

Innehållsförteckning: “... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2005

Innehållsförteckning: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hämta fulltext

Elektronisk E-bok

20

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- Energy-Efficient Dynamic Scheduling on Parallel Machines -- A Service-Oriented Priority-Based Resource...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen