75 search results - page 6 / 15 » Improving Program Correctness with Atomic Exception Handling |
156
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
121
click to vote
USENIX
2007
15 years 8 months ago
2007
Operating system lockup errors can render a computer unusable by preventing the execution other programs. Watchdog timers can be used to recover from a lockup by resetting the pro...
200
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
Hybrid processors are HW/SW co-designed processors that leverage blocked-execution, the execution of regions of instructions as atomic blocks, to facilitate aggressive speculative...
129
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
155
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...