1700 search results - page 167 / 340 » Specifying and implementing refactorings |
127
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
137
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
The goal of this paper is to argue the need to approach the personalization issues in Web applications from the very beginning in the application's development cycle. Since p...
258
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
135
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper presents FlexiTaint, a hardware accelerator for dynamic taint propagation. FlexiTaint is implemented as an in-order addition to the back-end of the processor pipeline, ...