9 citations · 30 across the 14 of their papers we have counts for
3 papers · 1 filter
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
Ludovic A. R. Capelli, Zhenjiang Hu, Timothy A. K. Zakian +2
The vertex-centric programming model, designed to improve the programmability in graph processing application writing, has attracted great attention over the years. However, shared…
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin +2
Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. Th…
Retentive Lenses
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko +1
Based on Foster et al.'s lenses, various bidirectional programming languages and systems have been developed for helping the user to write correct data synchronisers. The two well-…