Sciweavers

707 search results - page 17 / 142
» Performance Modeling and Analysis of the Universal Control H...
Sort
View
RTSS
2007
IEEE
15 years 10 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...
141
Voted
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 8 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 8 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...
154
Voted
GLOBECOM
2007
IEEE
15 years 10 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 10 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