2957 search results - page 476 / 592 » Code analysis and CS-XML |
181
Voted
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
280
Voted
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
188
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new scheme for dynamic voltage and frequency scaling (DVS) for processing multimedia streams on architectures with restricted buffer sizes. The main advantage of our ...
167
Voted
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
180
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...