Sciweavers

165 search results - page 11 / 33
» Types for atomicity
Sort
View
ECAL
2001
Springer
15 years 7 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»
15 years 3 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 10 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
15 years 4 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 7 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