Tomoharu Ugawa

1. Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
   2016/08/21 by Tatsuya Abe, Abe, Tatsuya, Tomoharu Ugawa +5 · 1 citation
   Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing #Software Engineering (cs.SE)
2. Query Density-Driven Partitioning for Spatiotemporal Load Balancing on Processing-in-Memory Systems
   2026/07/31 by Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa
   Computer Science · #cs.DB