631 search results - page 59 / 127 » Producing reliable software: an experiment |
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
ICSM
1998
IEEE
13 years 12 months ago
1998
IEEE
The activity of reengineering and maintaining large legacy systems involves the use of design recovery es to produce abstractions that facilitate the understanding of the system. ...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...
DDECS
2007
IEEE
14 years 2 months ago
2007
IEEE
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
CSCWD
2007
Springer
14 years 1 months ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...