1
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2008
Tabl Cynhwysion: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2013
Tabl Cynhwysion: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Programming for the Contact Map Overlap Problem -- Session 11: Databases, Web and Text Analysis...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2008
Tabl Cynhwysion: ...-Centric Hardware Synthesis from Dataflow Models -- Special Session: Programming Multicores...
Cael y testun llawn
Electronig eLyfr