571 search results - page 109 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Commonly represented as directed graphs, social networks depict relationships and behaviors among social entities such as people, groups, and organizations. Social network analysi...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Unpredictability in COTS-based systems often manifests as occasional instances of uncontrollably-high response times. A particular category of COTS systems, fault-tolerant (FT) mid...
ICS
2004
Tsinghua U.
14 years 1 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— Bit interleaved coded multiple beamforming (BICMB) was previously designed to achieve full spatial multiplexing of min(N, M) and full spatial diversity of NM for N transmit and...
CLUSTER
2007
IEEE
14 years 2 months ago
2007
IEEE
— A critical problem facing by managing large-scale clusters is to identify the location of problems in a system in case of unusual events. As the scale of high performance compu...