Αποτελέσματα αναζήτησης - parallel programming https functional mapping https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Έκδοση 2010

Πίνακας περιεχομένων: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2006

Πίνακας περιεχομένων: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Έκδοση 2010

Πίνακας περιεχομένων: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Έκδοση 2013

Πίνακας περιεχομένων: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Software Engineering 1 Abstraction and Modelling /

ανά Bjørner, Dines., Bjørner, Dines.
Έκδοση 2006

Πίνακας περιεχομένων: “... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

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

Έκδοση 2010

Πίνακας περιεχομένων: “... of Reconfigurable Hardware for Accelerated Parallel Processing -- Routing-Aware Application Mapping Considering...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Έκδοση 2015

Πίνακας περιεχομένων: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

The Definitive Guide to Jython Python for the Java Platform /

ανά Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Έκδοση 2010

Πίνακας περιεχομένων: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

ανά Sharan, Kishori., Sharan, Kishori.
Έκδοση 2014

Θέματα: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Innovations in Computing Sciences and Software Engineering

Έκδοση 2010

Πίνακας περιεχομένων: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- An Extension of Self-organizing Maps to Categorical Data -- Programming Relational Databases for Itemset Mining...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Έκδοση 2008

Πίνακας περιεχομένων: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

ανά Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Έκδοση 2005

Πίνακας περιεχομένων: “...? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Έκδοση 2013

Πίνακας περιεχομένων: “... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης