563 search results - page 89 / 113 » Verifiable Signature Sharing |
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
ESTIMEDIA
2007
Springer
14 years 3 months ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
RV
2007
Springer
14 years 3 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
WAIM
2007
Springer
14 years 2 months ago
2007
Springer
The DBMS performance might change by allocating resources and by performing a specific kind of workload. Database administrators should be able to identify relative resources that ...
ICNP
2006
IEEE
14 years 2 months ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...