3872 search results - page 13 / 775 » The Java memory model |
115
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
DAC
1998
ACM
16 years 20 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
103
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
130
click to vote
RTS
2010
14 years 6 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
107
click to vote
IWMM
2010
Springer
15 years 1 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...