Risultati della ricerca - parallel programs program function points https

1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Pubblicazione 2006

Sommario: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Testo

Elettronico eBook

2

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Pubblicazione 2005

Sommario: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Testo

Elettronico eBook

3

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Testo

Elettronico eBook

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Pubblicazione 2008

Sommario: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Testo

Elettronico eBook

5

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Pubblicazione 2006

Sommario: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Testo

Elettronico eBook

6

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

Pubblicazione 2007

Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo

Elettronico eBook

7

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Pubblicazione 2010

Sommario: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Testo

Elettronico eBook

8

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

Pubblicazione 2008

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

Elettronico eBook

9

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Testo

Elettronico eBook

10

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Pubblicazione 2010

Sommario: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Testo

Elettronico eBook

11

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Pubblicazione 2005

Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo

Elettronico eBook

12

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Pubblicazione 2010

Sommario: “... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...”
Testo

Elettronico eBook

13

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Pubblicazione 2010

Sommario: “...) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View...”
Testo

Elettronico eBook

14

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

Pubblicazione 2010

Sommario: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Testo

Elettronico eBook

15

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Testo

Elettronico eBook

16

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

Pubblicazione 2015

Sommario: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Testo

Elettronico eBook

17

Visual C# 2010 Recipes A Problem-Solution Approach /

di Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Pubblicazione 2010

Sommario: “... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Testo

Elettronico eBook

18

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

Pubblicazione 2008

Sommario: “... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...”
Testo

Elettronico eBook

19

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

Pubblicazione 2010

Sommario: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Testo

Elettronico eBook

20

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

Pubblicazione 2008

Sommario: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Testo

Elettronico eBook

Restringi la ricerca