Rezultaty - parallel iterative program function ((dysfunction https) OR (function https))

1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Wydane 2013

Spis treści: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2010

Spis treści: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Spis treści: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Wydane 2013

Spis treści: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Wydane 2006

Spis treści: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Wydane 2015

Spis treści: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2010

Spis treści: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2010

Spis treści: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2005

Spis treści: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Wydane 2008

Spis treści: “... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Wydane 2007

Spis treści: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Wydane 2010

Spis treści: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2014

Spis treści: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Wydane 2014

Spis treści: “... and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty