Sciweavers

35 search results - page 2 / 7
» Removing Independently Even Crossings
Sort
View
CSMR
2005
IEEE
13 years 10 months ago
Tracing Cross-Cutting Requirements via Context-Based Constraints
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
Felix Bübl, Michael Balser
CSFW
2000
IEEE
13 years 8 months ago
Protocol Independence through Disjoint Encryption
One protocol (called the primary protocol) is independent of other protocols (jointly called the secondary protocol) if the question whether the primary protocol achieves a securi...
Joshua D. Guttman, F. Javier Thayer
ISCA
2007
IEEE
103views Hardware» more  ISCA 2007»
13 years 10 months ago
Ginger: control independence using tag rewriting
The negative performance impact of branch mis-predictions can be reduced by exploiting control independence (CI). When a branch mis-predicts, the wrong-path instructions up to the...
Andrew D. Hilton, Amir Roth
ICIP
2007
IEEE
14 years 6 months ago
Design of an Active Set Top Box in a Wireless Network for Scalable Streaming Services
The popularity of multimedia streaming services via wireless home networks has confronted major challenges in quality improvement for services through a set top box (STB). Even th...
Heung Ki Lee, Varrian Hall, Ki Hwan Yum, Kyoung Il...
TSP
2008
99views more  TSP 2008»
13 years 4 months ago
Carrier Frequency Offset Mitigation in Asynchronous Cooperative OFDM Transmissions
Carrier frequency offset (CFO) mitigation is critical for orthogonal frequency-division multiplexing (OFDM)-based cooperative transmissions because even small CFO per transmitter m...
Xiaohua Li, Fan Ng, Taewoo Han