3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DC2021★ 2 cited
Dynamic Page Placement on Real Persistent Memory Systems
Miguel Marques, Ilia Kuzmin, João Barreto +2
As persistent memory (PM) technologies emerge, hybrid memory architectures combining DRAM with PM bring the potential to provide a tiered, byte-addressable main memory of unprecede…
cs.LO2010★ 3 cited
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho +1
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the MC…