372 search results - page 63 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
123
click to vote
MSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Enterprise storage demands have overwhelmed traditional storage mechanisms and have led to the development of Storage Area Networks (SANs). This has resulted in the design of SCSI...
SBACPAD
2004
IEEE
14 years 11 months ago
2004
IEEE
A high-performance file system is normally a key point for large cluster installations, where hundreds or even thousands of nodes frequently need to manage large volumes of data. ...
ICMAS
2000
14 years 11 months ago
2000
Safe exchange is a key issue in multiagent systems, especially in electronic transactions where nondelivery is a major problem. In this paper we present a unified framework for mo...
ACSD
2007
IEEE
14 years 11 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
SIGMETRICS
2009
ACM
15 years 4 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...