2 papers
cs.PL2024
Collective Allocator Abstraction to Control Object Spatial Locality in C++
Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa
Disaggregated memory is promising for improving memory utilization in computer clusters in which memory demands significantly vary across computer nodes under utilization. It allow…
cs.SE2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda +1
Software model checking suffers from the so-called state explosion problem, and relaxed memory consistency models even worsen this situation. What is worse, parameterizing model ch…