157 search results - page 9 / 32 » Staircase-down SET programming approach for phase-change mem... |
WCET
2010
14 years 9 months ago
2010
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduc...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
123
click to vote
FMOODS
2008
15 years 1 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
105
click to vote
ESAS
2005
Springer
15 years 5 months ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...