Sciweavers

707 search results - page 17 / 142
» Performance Modeling and Analysis of the Universal Control H...
Sort
View
RTSS
2007
IEEE
16 years 23 days 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 10 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 10 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
16 years 24 days 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
16 years 15 days 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