473 search results - page 93 / 95 » On the Performance of Commit-Time-Locking Based Software Tra... |
IPPS
2008
IEEE
14 years 6 days ago
2008
IEEE
Abstract— Remote Direct Memory Access (RDMA) and pointto-point network fabrics both have their own advantages. MPI middleware implementations typically use one or the other, howe...
IEEEPACT
2009
IEEE
14 years 14 days ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
LCTRTS
2005
Springer
13 years 11 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
TASE
2007
IEEE
14 years 2 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
CANPC
1999
Springer
13 years 10 months ago
1999
Springer
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...