Search Results - parallel program 26 function function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
View full text

Electronic eBook

2

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
View full text

Electronic eBook

3

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Published 2011

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

Electronic eBook

4

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

5

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
View full text

Electronic eBook

6

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

Published 2013

Table of Contents: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
View full text

Electronic eBook

7

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Published 2015

Table of Contents: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
View full text

Electronic eBook

8

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”
View full text

Electronic eBook

9

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Published 2013

Table of Contents: “...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”
View full text

Electronic eBook

10

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Published 2007

Table of Contents: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
View full text

Electronic eBook

11

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
View full text

Electronic eBook

12

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

Published 2010

Table of Contents: “... -- Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors -- On the Difficulty...”
View full text

Electronic eBook

13

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings /

Published 2007

Table of Contents: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
View full text

Electronic eBook

14

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
View full text

Electronic eBook

15

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

16

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Published 2014

Table of Contents: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
View full text

Electronic eBook

17

Mathematical Methods in Engineering

Published 2014

Table of Contents: “... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”
View full text

Electronic eBook

18

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /

Published 2005

Table of Contents: “... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...”
View full text

Electronic eBook

19

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
View full text

Electronic eBook

20

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Published 2008

Table of Contents: “... the Performance of the Gaussian Chemistry Code on x86 Architectures -- Numerical Simulation of the December 26...”
View full text

Electronic eBook

Narrow Search