Rezultaty - parallel session program function functions https

Inne możliwości wyszukiwania:
function functions » functions functions , function function , junction functions
parallel session » parallel sessions , parallel version , parallel extension
program function » programme function , programs functional , program foundation
session program » session programme , pension programs , version programs
functions https » foundations https

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

Wydane 2010

Spis treści: “... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Wydane 2005

Spis treści: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Wydane 2008

Spis treści: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Wydane 2005

Spis treści: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Crossroads Between Innate and Adaptive Immunity IV

Wydane 2013

Spis treści: “... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Recent Advances in Phototrophic Prokaryotes

Wydane 2010

Spis treści: “... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Wydane 2007

Spis treści: “... Programming for the Contact Map Overlap Problem -- Session 11: Databases, Web and Text Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Wydane 2007

Spis treści: “...Session 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Wydane 2008

Spis treści: “...-Centric Hardware Synthesis from Dataflow Models -- Special Session: Programming Multicores...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty