153 search results - page 23 / 31 » Checkbochs: Use Hardware to Check Software |
120
click to vote
ISCA
2009
IEEE
15 years 7 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
113
Voted
CASES
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a highly predictable, low overhead and yet dynamic, memory allocation strategy for embedded systems with scratch-pad memory. A scratch-pad is a fast compiler-m...
94
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
91
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Web graphs are approximate snapshots of the web, created by search engines. Their creation is an error-prone procedure that relies on the availability of Internet nodes and the fa...