2399 search results - page 13 / 480 » A Computational Market Model for Distributed Configuration D... |
IEEEPACT
2007
IEEE
14 years 1 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
GCC
2003
Springer
14 years 18 days ago
2003
Springer
Software configuration management (SCM) products have evolved over the years and have become large and powerful, but they are not flexible enough to allow the user to pick the kind...
ICS
2010
Tsinghua U.
14 years 4 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
DANCE
2002
IEEE
14 years 11 days ago
2002
IEEE
Current networks require ad-hoc operating procedures by expert administrators to handle changes. These configuration management operations are costly and error prone. Active netwo...