Rezultati - parallel 2 program function function https*

1

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Izdano 2013

Kazalo: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Polni tekst

Elektronski eKnjiga

2

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Izdano 2012

Kazalo: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Polni tekst

Elektronski eKnjiga

3

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Izdano 2006

Kazalo: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Polni tekst

Elektronski eKnjiga

4

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Izdano 2015

Kazalo: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2010

Kazalo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Polni tekst

Elektronski eKnjiga

6

Autonomous Search

Izdano 2012

Kazalo: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Polni tekst

Elektronski eKnjiga

7

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Izdano 2010

Kazalo: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Polni tekst

Elektronski eKnjiga

8

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Izdano 2015

Kazalo: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Polni tekst

Elektronski eKnjiga

9

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Izdano 2015

Kazalo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Polni tekst

Elektronski eKnjiga

10

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Izdano 2014

Kazalo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Polni tekst

Elektronski eKnjiga

11

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

Izdano 2005

Kazalo: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Polni tekst

Elektronski eKnjiga

12

Advances in Automatic Differentiation

Izdano 2008

Kazalo: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
Polni tekst

Elektronski eKnjiga

13

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

14

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2007

Kazalo: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2008

Kazalo: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2010

Kazalo: “... Algorithm for Heterogeneous Systems -- Two-Dimensional Matrix Partitioning for Parallel Computing...”
Polni tekst

Elektronski eKnjiga

19

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA,...

Izdano 2013

Kazalo: “... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”
Polni tekst

Elektronski eKnjiga

20

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Izdano 2010

Kazalo: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje