1026 search results - page 32 / 206 » A Methodology for Equational Reasoning |
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
CSL
2004
Springer
13 years 7 months ago
2004
Springer
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Interconnect with an insufficient width may be subject to electromigration and eventually cause the failure of the circuit at any time during its lifetime. This problem has gotten...
CNSR
2007
IEEE
14 years 2 months ago
2007
IEEE
Critical infrastructure systems are complex networks of adaptive socio-technical systems that provide the most fundamental requirements of the society. Their importance in the smo...
COMMA
2008
13 years 9 months ago
2008
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...