850 search results - page 43 / 170 » Certification of System Architecture Dependability |
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
103
click to vote
WCRE
2005
IEEE
15 years 5 months ago
2005
IEEE
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
135
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...
108
click to vote
CADE
2005
Springer
16 years 3 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...