Search Results - parallel data program functionality working https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text

Electronic eBook

2

Pro .NET 4 Parallel Programming in C#

by Freeman, Adam., Freeman, Adam.
Published 2010

Table of Contents: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text

Electronic eBook

3

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

Published 2006

Table of Contents: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
View full text

Electronic eBook

4

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Published 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
View full text

Electronic eBook

5

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Published 2005

Table of Contents: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
View full text

Electronic eBook

6

New Horizons of Parallel and Distributed Computing

Published 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
View full text

Electronic eBook

7

Classification and Data Science in the Digital Age

Published 2023

Table of Contents: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Electronic eBook

8

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working...

Published 2006

Table of Contents: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
View full text

Electronic eBook

9

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Published 2007

Table of Contents: “... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”
View full text

Electronic eBook

10

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Published 2005

Table of Contents: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
View full text

Electronic eBook

11

Algorithms Unplugged

Published 2011

Table of Contents: “... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...”
View full text

Electronic eBook

12

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
View full text

Electronic eBook

13

Advances in Information Processing and Protection

Published 2007

Table of Contents: “...Artificial Intelligence -- Humatronics and RT-Middleware -- A Fuzzy Way to Measure Quality of Work...”
View full text

Electronic eBook

14

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
View full text

Electronic eBook

15

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...

Published 2007

Table of Contents: “... -- Hardware Synthesis -- Automatic Data Path Generation from C code for Custom Processors -- Interconnect...”
View full text

Electronic eBook

16

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las...

Published 2005

Table of Contents: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
View full text

Electronic eBook

17

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

Published 2008

Table of Contents: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
View full text

Electronic eBook

18

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

by Karrenberg, Ralf., Karrenberg, Ralf.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

19

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...”
View full text

Electronic eBook

20

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Published 2006

Table of Contents: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
View full text

Electronic eBook

Narrow Search