268 search results - page 40 / 54 » Automated Analysis of Data-Dependent Programs with Dynamic M... |
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
CF
2009
ACM
14 years 2 months ago
2009
ACM
The exponential growth of databases that contains biological information (such as protein and DNA data) demands great efforts to improve the performance of computational platforms...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...