1635 search results - page 97 / 327 » Design Productivity for Configurable Computing |
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
104
click to vote
DSOM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
143
click to vote
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
119
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
HCI
2009
14 years 11 months ago
2009
This paper describes a system called DiamondTheater that supports creative activities in theater using a tabletop tangible interface. This system is used to aid in the planning of ...