13866 search results - page 2381 / 2774 » Dynamical Systems Game |
166
click to vote
HIPEAC
2007
Springer
16 years 28 days ago
2007
Springer
The XScale processor family provides user-controllable independent configuration of CPU, bus, and memory frequencies. This feature introduces another handle for the code optimizat...
179
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— The recent surge of new viruses and host attacks in the Internet and the tremendous propagation speed of selfdistributing attacks has made network security a pressing issue. To...
166
click to vote
NDSS
2006
IEEE
16 years 23 days ago
2006
IEEE
For many applications—including recognizing malware variants, determining the range of system versions vulnerable to a given attack, testing defense mechanisms, and filtering m...
179
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
188
click to vote
CASES
2006
ACM
16 years 22 days ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...