output
20072026
most citedThe pitfalls of verifying floating-point computations

211 citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.DCShow all

1 paper · 2 filters

cs.DC2009★ 6 cited

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni

Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs: (1) generation of fault-span, the set of states reacha…