2013 · 147 citations · 82 references
ComputingComputer ScienceCryptographyCryptographic ProtocolsDigital MarketsFormal Verification Of Cryptographic Protocols
Computer systems increasingly rely on heterogeneity to achieve greater performance, scalability and energy efficiency. Because heterogeneous systems typically comprise multiple execution contexts with different programming abstractions and runtimes, programming them remains extremely challenging.
82
Grzegorz Malewicz, Matthew H. Austern, Aart J. C. Bik et al. · 2010 · 3.5K citations
Michael Isard, Mihai Budiu, Yuan Yu et al. · 2007 · 2.5K citations
Eddie Kohler, Robert Morris, Benjie Chen et al. · ACM Transactions on Computer Systems · 2000 · 2.4K citations · Full text