69 search results - page 11 / 14 » C32SAT: Checking C Expressions |
WCRE
2005
IEEE
14 years 29 days ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...