Sciweavers

5372 search results - page 703 / 1075
» complexity 2007
Sort
View
MTV
2007
IEEE
121views Hardware» more  MTV 2007»
16 years 1 months ago
Chico: An On-chip Hardware Checker for Pipeline Control Logic
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
Andrew DeOrio, Adam Bauserman, Valeria Bertacco
SOSP
2007
ACM
16 years 3 months ago
Secure virtual architecture: a safe execution environment for commodity operating systems
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
John Criswell, Andrew Lenharth, Dinakar Dhurjati, ...
GLOBECOM
2007
IEEE
16 years 1 months ago
A Novel OFDMA Ranging Method Exploiting Multiuser Diversity
This paper addresses initial ranging (uplink synchronization and power control) for TDD OFDMA systems. Exploiting the channel knowledge from the downlink channel together with ini...
Jianqiang Zeng, Hlaing Minn
ICC
2007
IEEE
164views Communications» more  ICC 2007»
16 years 1 months ago
A Framework of Attacker Centric Cyber Attack Behavior Analysis
—Cyber attack behavior analysis can be roughly classified as “network centric” and “attacker centric” approaches. Compared with traditional “network centric” approach...
Xuena Peng, Hong Zhao
SMC
2007
IEEE
119views Control Systems» more  SMC 2007»
16 years 1 months ago
Modeling operator performance for error analysis
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
Alexander M. Yemelyanov