Sciweavers

571 search results - page 38 / 115
» A Case Study in Parallel Verification of Component-Based Sys...
Sort
View
GLOBECOM
2009
IEEE
15 years 1 months ago
Evaluation of the Impact of Filter Shape on the Performance of SOA-Assisted SS-WDM Systems Using Parallelized Multicanonical Mon
We study the impact of the shape of optical filters on the bit error rate (BER) of a multi-channel spectrum-sliced wavelength division multiplexed (SS-WDM) system, incorporating no...
Amirhossein Ghazisaeidi, Francesco Vacondio, Lesli...
88
Voted
SEKE
2010
Springer
14 years 8 months ago
A Multi-State Bayesian Network for Shill Verification in Online Auctions
Online auction systems have made remarkable progress in recent years. However, one of the most severe and persistent problems in such systems is shilling behavior, which is a type ...
Ankit Goel, Haiping Xu, Sol M. Shatz
ESEC
1997
Springer
15 years 1 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
IPPS
1998
IEEE
15 years 1 months ago
Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
Javier García, Jose Luis Díaz de Arr...
ANSS
2003
IEEE
15 years 3 months ago
Performance Analysis of Parallel Job Scheduling in Distributed Systems
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...
Helen D. Karatza, Ralph C. Hilzer Jr.