Sciweavers

2763 search results - page 105 / 553
» The Dangerous 'All' in Specifications
Sort
View
NETWORKS
2008
13 years 9 months ago
Lower bounds for two-period grooming via linear programming duality
In a problem arising in grooming for two-period optical networks, it is required to decompose the complete graph on n vertices into subgraphs each containing at most C edges, so t...
Charles J. Colbourn, Gaetano Quattrocchi, Violet R...
SCL
2008
87views more  SCL 2008»
13 years 9 months ago
Stabilizability of two-dimensional linear systems via switched output feedback
The problem of stabilizing a second-order SISO LTI system of the form x = Ax + Bu, y = Cx with feedback of the form u(x) = v(x)Cx is considered, where v(x) is real-valued and has ...
Keith R. Santarelli, Alexandre Megretski, Munther ...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
13 years 9 months ago
Functional Testing in the Focal Environment
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Matthieu Carlier, Catherine Dubois
BMCBI
2004
89views more  BMCBI 2004»
13 years 9 months ago
Network analysis of metabolic enzyme evolution in Escherichia coli
Background: The two most common models for the evolution of metabolism are the patchwork evolution model, where enzymes are thought to diverge from broad to narrow substrate speci...
Sara Light, Per Kraulis
CCE
2004
13 years 9 months ago
Time (energy) requirements in closed batch distillation arrangements
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
S. Skouras, Sigurd Skogestad