463 search results - page 18 / 93 » Reliability and Power Management of Integrated Systems |
IFM
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
WSC
1997
13 years 9 months ago
1997
Simulation techniques have been proven as reliable and powerful tools in the design, development, evaluation and operation of manufacturing systems. The following paper presents a...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Recently, processor power density has been increasing at an alarming rate resulting in high on-chip temperature. Higher temperature increases current leakage and causes poor relia...
BMCBI
2010
13 years 7 months ago
2010
Background: Multiplex Ligation-Dependent Probe Amplification (MLPA) is an application that can be used for the detection of multiple chromosomal aberrations in a single experiment...
GLVLSI
2010
IEEE
14 years 26 days ago
2010
IEEE
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...