682 search results - page 115 / 137 » Java Implementation Verification Using Reverse Engineering |
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
SEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...