Sciweavers

535 search results - page 97 / 107
» Concurrency Control: Methods, Performance, and Analysis
Sort
View
FIMH
2003
Springer
14 years 1 months ago
First 36-Channel Magnetocardiographic Study of CAD Patients in an Unshielded Laboratory for Interventional and Intensive Cardiac
The first 36-channel Magnetocardiographic (MCG) system, successfully installed in the Biomagnetism Research Center, Catholic University of Rome, has been tested to evaluate the rel...
Donatella Brisinda, Anna Maria Meloni, Riccardo Fe...
TVCG
2008
95views more  TVCG 2008»
13 years 7 months ago
Improving the Readability of Clustered Social Networks using Node Duplication
Exploring communities is an important task in social network analysis. Such communities are currently identified using clustering methods to group actors. This approach often leads...
Nathalie Henry, Anastasia Bezerianos, Jean-Daniel ...
ATAL
2008
Springer
13 years 10 months ago
On the importance of migration for fairness in online grid markets
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
Lior Amar, Ahuva Mu'alem, Jochen Stößer
BMCBI
2010
139views more  BMCBI 2010»
13 years 8 months ago
A global optimization algorithm for protein surface alignment
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...
Paola Bertolazzi, Concettina Guerra, Giampaolo Liu...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier