Zoekresultaten - parallel array programming selection function https

1

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

Gepubliceerd in 2006

Inhoudsopgave: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2007

Inhoudsopgave: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Volledige tekst

Elektronisch E-boek

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... Scope Analysis for Generic Programs on Arrays....”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2007

Inhoudsopgave: “... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2010

Inhoudsopgave: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2013

Inhoudsopgave: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2014

Inhoudsopgave: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2012

Inhoudsopgave: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Volledige tekst

Elektronisch E-boek

9

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 Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Volledige tekst

Elektronisch E-boek

10

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors -- On the Difficulty...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2013

Inhoudsopgave: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2010

Inhoudsopgave: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Volledige tekst

Elektronisch E-boek

13

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2015

Inhoudsopgave: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2010

Inhoudsopgave: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Volledige tekst

Elektronisch E-boek

17

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers /

Gepubliceerd in 2013

Inhoudsopgave: “... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2008

Inhoudsopgave: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Volledige tekst

Elektronisch E-boek

19

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken