Sciweavers

2 search results - page 1 / 1
» PAT: Towards Flexible Verification under Fairness
Sort
View
CAV
2009
Springer
176views Hardware» more  CAV 2009»
14 years 4 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
BMCBI
2007
101views more  BMCBI 2007»
13 years 4 months ago
Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
Frank Kose, Jan Budczies, Matthias Holschneider, O...