Sciweavers

707 search results - page 17 / 142
» Performance Modeling and Analysis of the Universal Control H...
Sort
View
131
Voted
RTSS
2007
IEEE
15 years 8 months ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 5 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
DAC
2007
ACM
15 years 5 months ago
Performance Analysis of FlexRay-based ECU Networks
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chak...
GLOBECOM
2007
IEEE
15 years 8 months ago
TCP Performance Analysis over Aggressive Physical Carrier Sensing Based Wireless Local Area Networks
— Aggressive physical carrier sensing (PCS), which improves the spatial reuse efficiency by shrinking the PCS range, is a promising technique to scale high density Wireless Loca...
Zexi Yang, Yanfeng Zhu, Zhisheng Niu, Qian Zhang
LCN
2006
IEEE
15 years 8 months ago
Performance Limits and Analysis of Contention-based IEEE 802.11 MAC
— Recent advance in IEEE 802.11 based standard has pushed the wireless bandwidth up to 600Mbps while keeping the same wireless medium access control (MAC) schemes for full backwa...
Shao-Cheng Wang, Ahmed Helmy