959 search results - page 79 / 192 » Possible and Necessary h-Indices |
HOTOS
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a mechanism for inter-process communication (IPC) redirection that enables efficient and flexible access control for micro-kernel systems. In such systems, services are...
ACISP
2007
Springer
14 years 28 days ago
2007
Springer
This paper studies the interplay of network connectivity and perfectly secure message transmission under the corrupting influence of a Byzantine mobile adversary that may move from...
CAV
2010
Springer
14 years 25 days ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
CODES
2004
IEEE
14 years 20 days ago
2004
IEEE
Prior work on TLB power optimization considered circuit and architectural techniques. A recent software-based technique for data TLBs has considered the possibility of storing the...
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. As communication technologies are becoming more and more advanced, the opportunities to deliver improved, user friendly services using these technologies are increasing. ...