Sciweavers

1635 search results - page 25 / 327
» System Architecture Evaluation Using Modular Performance Ana...
Sort
View
FMSD
2006
119views more  FMSD 2006»
13 years 9 months ago
Feature interaction detection by pairwise analysis of LTL properties - A case study
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
Muffy Calder, Alice Miller
LCN
2005
IEEE
14 years 2 months ago
Performance Analysis of Multi-Fiber Synchronous Photonic Share-per-link Packet Switches
A performance model is presented for an optical packet switch architecture in which the wavelength converters are shared per output link and each output link consists of multiple ...
Ayman G. Fayoumi, Fahad A. Al-Zahrani, Abdulgader ...
SQJ
2008
94views more  SQJ 2008»
13 years 9 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
ICASSP
2010
IEEE
13 years 9 months ago
Buffer management for multi-application image processing on multi-core platforms: Analysis and case study
Due to the limited amounts of on-chip memory, large volumes of data, and performance and power consumption overhead associated with interprocessor communication, efficient managem...
Dong-Ik Ko, Nara Won, Shuvra S. Bhattacharyya
BMVC
2001
13 years 11 months ago
A Case Study in the use of ROC curves for Algorithm Design
We describe the development of a vision system to detect natural events in a low-resolution image stream. The work involves the assessment of algorithmic design decisions to maxim...
Paul A. Bromiley, Patrick Courtney, Neil A. Thacke...