1
Veröffentlicht 2005
Inhaltsangabe: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2005
Inhaltsangabe: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2011
Inhaltsangabe: ...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2014
Inhaltsangabe: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2007
Inhaltsangabe: ...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2012
Inhaltsangabe: ... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2014
Inhaltsangabe: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ... Detection -- Cossack Ranger II – A High Quality, Versatile and Affordable 3-Component Short-Period...
Volltext
Elektronisch E-Book