Sciweavers

2610 search results - page 453 / 522
» codes 2007
Sort
View
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 3 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...
ICC
2007
IEEE
101views Communications» more  ICC 2007»
15 years 3 months ago
Optimal Resource Allocation in Wireless Multiaccess Video Transmissions
We study the problem of optimal resource allocation for multi-user wireless video transmissions from an informationtheoretic point of view. We show that the previously known optima...
Cong Shen, Mihaela van der Schaar
ICC
2007
IEEE
229views Communications» more  ICC 2007»
15 years 3 months ago
A Cross-Layer Design on the Basis of Multiple Packet Reception in Asynchronous Wireless Network
This paper concerns the cross-layer design between physical layer and MAC (Multiple Access Control) layer in asynchronous wireless random access network. The proposed cross-layer d...
Anxin Li, Mingshu Wang, Xiangming Li, Hidetoshi Ka...
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 3 months ago
Dynamic Interactive Multimedia Scenes in Mobile Broadcast Environments
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...
ICC
2007
IEEE
146views Communications» more  ICC 2007»
15 years 3 months ago
Downlink MIMO Systems Using Cooperation Among Base Stations in a Slow Fading Channel
To increase the achievable sum rate of downlink MIMO (Multiple Input Multiple Output) systems, the cooperation among Base Stations (BS) is investigated in a slow fading channel. Th...
Tsuyoshi Tamaki, Kibeom Seong, John M. Cioffi