80 search results - page 1 / 16 » Racing for Conditional Independence Inference |
IJAR
2007
13 years 10 months ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
SAS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
TON
2008
13 years 10 months ago
2008
By allowing end hosts to make independent routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes...