75 search results - page 6 / 15 » Improving Program Correctness with Atomic Exception Handling |
SAC
2003
ACM
14 years 27 days 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...
USENIX
2007
13 years 10 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...
ISCA
2012
IEEE
11 years 10 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...
PAPM
2001
Springer
14 years 2 days 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 ...
COMPSAC
2006
IEEE
14 years 1 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...