85 citations · 354 across the 71 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 1 cited
A Theory of Partitioned Global Address Spaces
Georgel Calin, Egor Derevenetc, Rupak Majumdar +1
Partitioned global address space (PGAS) is a parallel programming model for the development of applications on clusters. It provides a global address space partitioned among the cl…
cs.LO2013★ 2 cited
Incremental, Inductive Coverability
Johannes Kloos, Rupak Majumdar, Filip Niksic +1
We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification t…