4278 search results - page 162 / 856 » Data prefetch mechanisms |
191
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
145
click to vote
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Across the globe individuals and organizations are creating geographic data work products with little ability to efficiently or effectively make known and share those dig...
155
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
147
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Message-passing mechanism is commonly used to preserve data coherency in distributed systems. This paper presents an algorithm for insertion of minimal message-passing in system-l...
220
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...