8623 search results - page 1327 / 1725 » Software engineering for secure systems |
206
Voted
TLDI
2005
ACM
16 years 1 months 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 ...
152
Voted
LCTRTS
2005
Springer
16 years 1 months 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...
212
click to vote
CSCW
2004
ACM
16 years 1 months 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...
181
click to vote
SIGADA
2004
Springer
16 years 28 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...
201
click to vote
EUROMICRO
2003
IEEE
16 years 26 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...