Sciweavers

948 search results - page 89 / 190
» Analysis of SITA policies
Sort
View
FOSSACS
2010
Springer
16 years 26 days ago
Reachability Analysis of Communicating Pushdown Systems
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
Alexander Heußner, Jérôme Lerou...
NOCS
2008
IEEE
16 years 23 days ago
Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching
Abstract— In this paper, we discuss a real-time on-chip communication service with a priority-based wormhole switching policy. A novel off-line schedulability analysis approach i...
Zheng Shi, Alan Burns
COMPSAC
2007
IEEE
16 years 21 days ago
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
Liwei Shen, Xin Peng, Wenyun Zhao
ICMCS
2006
IEEE
130views Multimedia» more  ICMCS 2006»
16 years 12 days ago
Video Analysis and Compression on the STI Cell Broadband Engine Processor
With increased concern for physical security, video surveillance is becoming an important business area. Similar camera-based system can also be used in such diverse applications ...
Lurng-Kuo Liu, Sreeni Kesavarapu, Jonathan Connell...
PE
2000
Springer
93views Optimization» more  PE 2000»
15 years 6 months ago
A novel approach to queue stability analysis of polling models
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
Rocky K. C. Chang, Sum Lam