8623 search results - page 1327 / 1725 » Software engineering for secure systems |
188
click to vote
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
136
click to vote
LCTRTS
2005
Springer
16 years 10 days ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...
189
click to vote
CSCW
2004
ACM
16 years 8 days ago
2004
ACM
We present contextual collaboration, an approach to building collaborative systems that embeds collaborative capabilities into core applications, and discuss its advantages. We de...
160
click to vote
SIGADA
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
175
click to vote
EUROMICRO
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper pertains to the recognition of textural regions for color video analysis. The proposed scheme uses the covariance of 2nd -order statistics on the wavelet domain, betwee...