5241 search results - page 711 / 1049 » Embedded Programming with C |
116
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
136
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
227
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
152
click to vote
CF
2009
ACM
15 years 10 months ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
162
click to vote
SP
2007
IEEE
15 years 10 months ago
2007
IEEE
Law enforcement agencies need the ability to conduct electronic surveillance to combat crime, terrorism, or other malicious activities exploiting the Internet. However, the prolif...