385 search results - page 51 / 77 » Verified Code Generation for Embedded Systems |
113
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
107
click to vote
ISLPED
2005
ACM
15 years 7 months ago
2005
ACM
This paper proposes a non-uniform cache architecture for reducing the power consumption of memory systems. The nonuniform cache allows having different associativity values (i.e.,...
100
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
103
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...