1962 search results - page 348 / 393 » Software performance engineering of component-based systems |
172
click to vote
TCOS
2010
14 years 10 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
168
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
125
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
124
click to vote
ISPASS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe and evaluate two new, independently-applicable power reduction techniques for power management on processors that support dynamic voltage and frequency scaling (DVFS):...
140
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...