3865 search results - page 18 / 773 » Active memory operations |
110
click to vote
CF
2006
ACM
15 years 7 months ago
2006
ACM
Regular distributions for storing dense matrices on parallel systems are not always used in practice. In many scientific applicati RUMMA) [1] to handle irregularly distributed mat...
119
click to vote
ENTCS
2008
15 years 1 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
177
click to vote
DIMVA
2011
14 years 5 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer