572 search results - page 24 / 115 » Threading Software Watermarks |
COMPSAC
2009
IEEE
14 years 4 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...
IWPC
2007
IEEE
14 years 4 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...