4604 search results - page 818 / 921 » Concurrency in Synchronous Systems |
CLUSTER
2009
IEEE
14 years 29 days ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...
EUROCRYPT
2007
Springer
14 years 28 days ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
FMCAD
2009
Springer
14 years 28 days ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
BPM
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
CCGRID
2004
IEEE
14 years 24 days ago
2004
IEEE
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...