3341 search results - page 80 / 669 » Managing a Large |
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
107
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—We investigate the design of a clean-slate control and nt plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of logically c...
220
click to vote
SIGMETRICS
2012
ACM
13 years 3 months ago
2012
ACM
The energy consumed by data centers is starting to make up a significant fraction of the world’s energy consumption and carbon emissions. A large fraction of the consumed energ...
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
112
click to vote
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
IP blocks and large macro cells are increasingly prevalent in physical design, actually causing an increase in the available free space for the dust logic. We observe that top-dow...