2512 search results - page 96 / 503 » Software Transactional Memory |
110
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
134
click to vote
HPCA
2005
IEEE
16 years 2 months ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
133
click to vote
ICESS
2007
Springer
15 years 8 months ago
2007
Springer
Compact code generation is very important for an embedded system that has to be implemented on a chip with a severely limited amount of size. Even though on-chip data memory optimi...
146
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
128
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
Image processing applications tend to access their data non-sequentially and reuse that data infrequently. As a result, they tend to perform poorly on conventional memory systems ...