2838 search results - page 311 / 568 » Verifying Controlled Components |
BIBM
2008
IEEE
15 years 7 months ago
2008
IEEE
Genetical genomics has been established to study genetic variation of gene expression. It treats transcript expression as a quantitative trait and identifies putative regulatory l...
101
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
121
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
112
click to vote
SBACPAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Adoption of the 10GbE Ethernet standard has been impeded by two important performance-oriented considerations: 1) processing requirements of common protocol stacks and 2) end-to-e...
102
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...