4722 search results - page 557 / 945 » Encoding Program Executions |
125
click to vote
TCSB
2008
15 years 4 months ago
2008
Abstract. Software systems nowadays are becoming increasingly complex and vulnerable to all sorts of failures and attacks. There is a rising need for robust self-repairing systems ...
143
Voted
ET
2002
15 years 4 months ago
2002
Abstract. A novel approach for using an embedded processor to aid in deterministic testing of the other components of a system-on-a-chip (SOC) is presented. The tester loads a prog...
144
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
127
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
Aiming at the characteristics of mobile terminal equipments, the program of decompressing massive compressed files in mobile rich media applications is investigated in this paper....
142
Voted
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...