1205 search results - page 100 / 241 » On P Systems with Bounded Parallelism |
74
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
106
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
145
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a scalable and adaptive decentralized metadata lookup scheme for ultra large-scale file systems (≥ Petabytes or even Exabytes). Our scheme logically organiz...
136
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Data reliability of distributed brick storage systems critically depends on the replica placement policy, and the two governing forces are repair speed and sensitivity to multiple...
158
Voted
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...