Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface reduction » interface reflection, interference reduction, interface introduction
reduction program » reduction programs, education program, education programs
program computing » program comparing, programs compiling, problem computing
program program » programs program, programming program
https » http
interface reduction » interface reflection, interference reduction, interface introduction
reduction program » reduction programs, education program, education programs
program computing » program comparing, programs compiling, problem computing
program program » programs program, programming program
https » http
1
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“..., Graphs, and Social Relationships -- Text Mining -- Dimension Reduction -- Statistical Musicology -- Data...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Reduction Based on T-Lumpability-Consistent Relations -- A Ticking Clock: Performance Analysis of a...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Systems and Soft Computing -- Particle Swarm Optimization and Niche Technology -- Supervised and Semi...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... -- Video Indexing and Retrieval in Compressed Domain Using Fuzzy-Categorization -- Computing Homology...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Reduction for Static Program Analysis....”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- An Efficient Code Generation Algorithm for Code Size Reduction Using 1-Offset P-Code Queue Computation Model...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Running Scenario-Based Programs -- The Ideal of Verified Software -- Session 1. Automata -- Antichains: A...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Calculus of Dynamic Binding: Reduction and Properties -- Tracechecks: Defining Semantic Interfaces...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook