Sciweavers

5086 search results - page 706 / 1018
» The Power of Comparative Reasoning
Sort
View
CLOUDCOM
2010
Springer
15 years 4 months ago
Performance Analysis of High Performance Computing Applications on the Amazon Web Services Cloud
Cloud computing has seen tremendous growth, particularly for commercial web applications. The on-demand, pay-as-you-go model creates a flexible and cost-effective means to access c...
Keith R. Jackson, Lavanya Ramakrishnan, Krishna Mu...
GLOBECOM
2010
IEEE
15 years 4 months ago
Investigation into the Doppler Component of the IEEE 802.11n Channel Model
-- Simulations show that the Doppler component of the IEEE 802.11n channel model results in a dramatic decrease in transmit beamforming gain within only 20 ms delay, even though th...
Eldad Perahia, Anmol Sheth, Thomas Kenney, Robert ...
IEEEHPCS
2010
15 years 4 months ago
Using replication and checkpointing for reliable task management in computational Grids
In grid computing systems, providing fault-tolerance is required for both scientific computation and file-sharing to increase their reliability. In previous works, several mechani...
Sangho Yi, Derrick Kondo, Bongjae Kim, Geunyoung P...
SEKE
2010
Springer
15 years 4 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
SMI
2010
IEEE
165views Image Analysis» more  SMI 2010»
15 years 4 months ago
Designing a Topological Modeler Kernel: A Rule-Based Approach
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
Thomas Bellet, Mathieu Poudret, Agnès Arnou...