Sökresultat - parallel 4 program function function https*

1

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

Publicerad 2006

Innehållsförteckning: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Hämta fulltext

Elektronisk E-bok

2

Advances in Robot Kinematics

Publicerad 2014

Innehållsförteckning: “... Continuum Robot for Active Micro-Endoscopy -- Kinematics Analysis and Singularity Loci of a 4-UPU Parallel...”
Hämta fulltext

Elektronisk E-bok

3

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

Publicerad 2006

Innehållsförteckning: “... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”
Hämta fulltext

Elektronisk E-bok

4

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Hämta fulltext

Elektronisk E-bok

5

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... Decompilation in HOL4 -- A Formalized Hierarchy of Probabilistic System Types -- Learning To Parse on Aligned...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2005

Innehållsförteckning: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2010

Innehållsförteckning: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Hämta fulltext

Elektronisk E-bok

8

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2007

Innehållsförteckning: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Hämta fulltext

Elektronisk E-bok

10

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Hämta fulltext

Elektronisk E-bok

11

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Publicerad 2012

Innehållsförteckning: “... and Component Importance -- 3. Signatures and Symmetry Properties of Coherent Systems -- 4. Multidimensional...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2014

Innehållsförteckning: “... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2010

Innehållsförteckning: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Hämta fulltext

Elektronisk E-bok

14

Immune Homeostasis Methods and Protocols /

Publicerad 2013

Innehållsförteckning: “...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2005

Innehållsförteckning: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hämta fulltext

Elektronisk E-bok

16

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Hämta fulltext

Elektronisk E-bok

17

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2005

Innehållsförteckning: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Hämta fulltext

Elektronisk E-bok

19

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”
Hämta fulltext

Elektronisk E-bok

20

High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical Universi...

Publicerad 2005

Innehållsförteckning: “... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen