Sciweavers

4674 search results - page 208 / 935
» cases 2008
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
DSD
2008
IEEE
136views Hardware» more  DSD 2008»
16 years 29 days ago
Flexible Baseband Architectures for Future Wireless Systems
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
Najam-ul-Islam Muhammad, Rizwan Rasheed, Renaud Pa...
ICASSP
2008
IEEE
16 years 28 days ago
Substituting the cumulants in the super-exponential blind equalization algorithm
The Shalvi-Weinstein super-exponential algorithm for blind channel equalization employs empirical high-order cross-cumulants between the equalizer’s input and output for iterati...
Arie Yeredor
EUC
2008
Springer
15 years 8 months ago
Performance Comparison of Techniques on Static Path Analysis of WCET
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge...
EGOV
2008
Springer
15 years 7 months ago
Control, De-politicization and the eState
Using an extensive case analysis of the Bhoomi system of India, this paper examines the role and nature of the state with regards to the rationale for and deployment of e-governmen...
Rahul De'