Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

2

TASE
2007
IEEE

favoriteEmaildiscussreport

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

13 years 3 months ago

A Certified Thread Library for Multithreaded User Programs

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

Real-time Traffic

Software Engineering | TASE 2007 |

claim paper

Related Content

» User level DB a debugging API for userlevel thread libraries

» UserLevel Checkpointing for LinuxThreads Programs

» Specifying and checking semantic atomicity for multithreaded programs

» Modular verification of concurrent assembly code with dynamic thread creation and terminat...

» Finding errors in multithreaded GUI applications

» An analysis of the impact of multithreading on communication performance

» Improving httpserver performance by adapted multithreading

» AspectCapable Call Path Profiling of MultiThreaded Java Applications

» Building TclTk GUIs for HRTHOOD systems

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	TASE
Authors	Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

Comments (0)