JCST 2010 - PDF Preprint Papers

JCST 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JCST-2010 Paper

click to vote

JCST
2010

198views more JCST 2010»

Certification of Thread Context Switching

13 years 9 months ago

Download ssg.ustcsz.edu.cn

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

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	198	Certification of Thread Context Switching	claim
2	189	Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving	claim
3	155	Efficient Location Updates for Continuous Queries over Moving Objects	claim
4	153	Model Failure and Context Switching Using Logic-Based Stochastic Models	claim
5	147	A New Approach for Multi-Document Update Summarization	claim
6	147	Volumetric Vector-Based Representation for Indirect Illumination Caching	claim
7	147	A Multi-Key Pirate Decoder Against Traitor Tracing Schemes	claim
8	139	Dirichlet Process Gaussian Mixture Models: Choice of the Base Distribution	claim
9	128	Queue Waiting Time Aware Dynamic Workflow Scheduling in Multicluster Environments	claim
10	122	Harmonic Field Based Volume Model Construction from Triangle Soup	claim
11	119	Location, Localization, and Localizability	claim
12	109	The Inverse Classification Problem	claim
13	109	Feature Preserving Mesh Simplification Using Feature Sensitive Metric	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers