Sökresultat - parallel array programs efficient function 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: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Hämta fulltext

Elektronisk E-bok

3

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: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2005

Innehållsförteckning: “... on Efficient Index Techniques -- A Parallel Routing Algorithm on Circulant Networks Employing the Hamiltonian...”
Hämta fulltext

Elektronisk E-bok

5

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

6

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

Publicerad 2006

Innehållsförteckning: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
Hämta fulltext

Elektronisk E-bok

7

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

8

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

9

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: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2010

Innehållsförteckning: “... Warehouse Design -- & : A Methodology for Effectively and Efficiently Designing Parallel Relational Data...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2012

Innehållsförteckning: “... with Decentralized Parallel Adaptation of Tetrahedral Meshes.-Efficient Simulations of the Transport Properties...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2010

Innehållsförteckning: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Hämta fulltext

Elektronisk E-bok

13

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: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2005

Innehållsförteckning: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Hämta fulltext

Elektronisk E-bok

15

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

av Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Publicerad 2007

Ämnen: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2005

Innehållsförteckning: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2008

Innehållsförteckning: “... of Emerging Parallel Media Mining Workloads -- Efficient PDM Sorting Algorithms -- Accelerating Cone Beam...”
Hämta fulltext

Elektronisk E-bok

18

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Publicerad 2010

Innehållsförteckning: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2007

Innehållsförteckning: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2010

Innehållsförteckning: “... Methods for Many-Objective Optimization Problems -- Genetic Programming -- Evolving Efficient List Search...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen