153 search results - page 27 / 31 » Checkbochs: Use Hardware to Check Software |
103
Voted
ICSM
2005
IEEE
15 years 4 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
ICECCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
91
Voted
SEC
2004
15 years 7 days ago
2004
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...
CVHI
2007
15 years 9 days ago
2007
: Modern digital hearing aids provide unprecedented means of compensating for hearing impairments. However, this comes at the price of adjusting complex processing parameters. To a...
98
Voted
SCP
1998
14 years 10 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...