Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Thread safety

Known as: Thread Safe, Threadsafety, Thread-safe 
Thread safety is a computer programming concept applicable in the context of multithreaded programs. A piece of code is thread-safe if it manipulates… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
We describe a new physics engine tailored to model-based control. Multi-joint dynamics are represented in generalized coordinates… Expand
  • figure 1
  • figure 2
  • table 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Stellar physics and evolution calculations enable a broad range of research in astrophysics. Modules for Experiments in Stellar… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • figure 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present KenLM, a library that implements two data structures for efficient language model queries, reducing both time and… Expand
  • figure 1
  • figure 2
  • table 1
  • table 3
  • table 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
A new form of SAT-based symbolic model checking is described. Instead of unrolling the transition relation, it incrementally… Expand
  • table 1
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
In compiler research, polytopes and related mathematical objects have been successfully used for several decades to represent and… Expand
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper describes several roles of transnational tutors from the standpoint of two of them, holding different positions in the… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Atomic blocks allow programmers to delimit sections of code as 'atomic', leaving the language's implementation to enforce… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We describe the design of version 1.0 of GALAHAD, a library of Fortran 90 packages for large-scale nonlinear optimization. The… Expand
  • figure 1
  • table I
  • table II
  • figure 2
Is this relevant?