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