Hakutulokset - parallel execution software functionals function https

1

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

Julkaistu 2005

Sisällysluettelo: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2007

Sisällysluettelo: “... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2010

Sisällysluettelo: “... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2010

Sisällysluettelo: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Hae kokoteksti

Elektroninen E-kirja

6

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2013

Sisällysluettelo: “... of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation...”
Hae kokoteksti

Elektroninen E-kirja

8

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2008

Sisällysluettelo: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2005

Sisällysluettelo: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Hae kokoteksti

Elektroninen E-kirja

11

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

12

Multicore Systems On-Chip: Practical Software/Hardware Design

Tekijä Ben Abdallah, Abderazek., Ben Abdallah, Abderazek.
Julkaistu 2013

Sisällysluettelo: “... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...”
Hae kokoteksti

Elektroninen E-kirja

13

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015...

Julkaistu 2015

Sisällysluettelo: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Hae kokoteksti

Elektroninen E-kirja

14

Distributed, Embedded and Real-time Java Systems

Julkaistu 2012

Sisällysluettelo: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2005

Sisällysluettelo: “... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2013

Sisällysluettelo: “... Network (CAN) -- A Data-Driven Approach for Executing the CG Method on Reconfigurable High-Performance...”
Hae kokoteksti

Elektroninen E-kirja

17

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”
Hae kokoteksti

Elektroninen E-kirja

18

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Hae kokoteksti

Elektroninen E-kirja

19

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2008

Sisällysluettelo: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua