10669 search results - page 1956 / 2134 » Software - Implemented Self-healing System |
179
click to vote
ISM
2006
IEEE
16 years 15 days ago
2006
IEEE
During day-to-day activities, a user refers to various data items on a PC, such as documents, images, and audio clips. However, when the number of items in the history increases, ...
144
click to vote
MICRO
2006
IEEE
16 years 15 days ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
197
click to vote
RTAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Multicore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power pr...
140
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
167
click to vote
VL
2006
IEEE
16 years 15 days ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...