173 search results - page 24 / 35 » Verification of Distributed Hierarchical Components |
142
click to vote
IPPS
1995
IEEE
15 years 3 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
100
click to vote
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe a decentralized, adaptive mechanism for replica location in wide-area distributed systems. Unlike traditional, hierarchical (e.g, DNS) and more recent (e.g., CAN, Chor...
101
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
ICCAD
2003
IEEE
15 years 5 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...