Sciweavers

3018 search results - page 35 / 604
» Replicating for Performance: Case Studies
Sort
View
ACSC
2004
IEEE
15 years 5 months ago
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
Kylie Williams, Robert Esser
CSMR
2006
IEEE
15 years 8 months ago
Using Version Information in Architectural Clustering - A Case Study
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
Andreas Wierda, Eric Dortmans, Lou J. Somers
AMC
2007
108views more  AMC 2007»
15 years 2 months ago
How robust are average complexity measures? A statistical case study
: Average case analysis forms an interesting and intriguing part of algorithm theory since it explains why some algorithms with bad worst-case complexity can better themselves in p...
Soubhik Chakraborty, Suman Kumar Sourabh
MSS
2007
IEEE
100views Hardware» more  MSS 2007»
15 years 8 months ago
Efficient Logging and Replication Techniques for Comprehensive Data Protection
Mariner is an iSCSI-based storage system that is de­ signed to provide comprehensive data protection on com­ modity ATA disk and Gigabit Ethernet technologies while offering the...
Maohua Lu, Shibiao Lin, Tzi-cker Chiueh
CASES
2007
ACM
15 years 6 months ago
Application driven embedded system design: a face recognition case study
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
Karthik Ramani, Al Davis