Sciweavers

165 search results - page 11 / 33
» Types for atomicity
Sort
View
ECAL
2001
Springer
15 years 1 months ago
Stability of Metabolic and Balanced Organisations
We investigate the possible organisations emerging from an artificial chemistry (AC) of colliding molecules in a well stirred reactor. The molecules are generated from 7 basic comp...
Pietro Speroni di Fenizio, Wolfgang Banzhaf
BMCBI
2007
102views more  BMCBI 2007»
14 years 9 months ago
Setting up a large set of protein-ligand PDB complexes for the development and validation of knowledge-based docking algorithms
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
Luis A. Diago, Persy Morell, Longendri Aguilera, E...
TII
2010
166views Education» more  TII 2010»
14 years 4 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis
SCM
2003
14 years 10 months ago
Uniform Comparison of Configuration Management Data Models
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
E. James Whitehead Jr., Dorrit Gordon
SPAA
1990
ACM
15 years 1 months ago
Wait-Free Data Structures in the Asynchronous PRAM Model
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
James Aspnes, Maurice Herlihy