Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JCST
2010
198views more  JCST 2010»
10 years 6 months ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
ISCIS
2004
Springer
11 years 5 months ago
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
Byeong-Mo Chang, Jong-Deok Choi
books