10707 search results - page 137 / 2142 » Designing executable abstractions |
127
click to vote
VLSID
2006
IEEE
16 years 3 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...
151
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
137
Voted
ESTIMEDIA
2007
Springer
15 years 9 months ago
2007
Springer
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...
135
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
165
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...