173 search results - page 24 / 35 » Verification of Distributed Hierarchical Components |
170
click to vote
IPPS
1995
IEEE
15 years 6 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...
127
Voted
SIGSOFT
2002
ACM
16 years 3 months 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...
114
click to vote
HPDC
2002
IEEE
15 years 7 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...
125
click to vote
IEEECIT
2010
IEEE
15 years 1 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 ...
127
Voted
ICCAD
2003
IEEE
15 years 7 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...