Sciweavers

9110 search results - page 1690 / 1822
» Formally-Based Design Evaluation
Sort
View
ISQED
2007
IEEE
127views Hardware» more  ISQED 2007»
15 years 9 months ago
Sensitivity Based Link Insertion for Variation Tolerant Clock Network Synthesis
Clock distribution is one of the key limiting factors in any high speed, sub-100nm VLSI design. Unwanted clock skews, caused by variation effects like manufacturing variations, po...
Joon-Sung Yang, Anand Rajaram, Ninghy Shi, Jian Ch...
MICRO
2007
IEEE
137views Hardware» more  MICRO 2007»
15 years 9 months ago
Implementing Signatures for Transactional Memory
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...
Daniel Sanchez, Luke Yen, Mark D. Hill, Karthikeya...
107
Voted
NDSS
2007
IEEE
15 years 9 months ago
Generic Application-Level Protocol Analyzer and its Language
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
Nikita Borisov, David Brumley, Helen J. Wang, John...
ROMAN
2007
IEEE
175views Robotics» more  ROMAN 2007»
15 years 9 months ago
BuildBot: Robotic Monitoring of Agile Software Development Teams
Abstract - In this paper, we describe BuildBot, a robotic interface developed to assist with the continuous integration process utilized by agile software development teams. BuildB...
Ruth Ablett, Ehud Sharlin, Frank Maurer, Jörg...
140
Voted
VTC
2007
IEEE
105views Communications» more  VTC 2007»
15 years 9 months ago
Random Beamforming OFDMA for Future Generation Cellular Communication Systems
—This paper presents a downlink performance analysis of a Layered Random Beamforming (LRB) - MIMO-OFDMA Physical Layer (PHY) as applicable to future generation wireless communica...
Congzheng Han, Angela Doufexi, Simon Armour, Joe M...
« Prev « First page 1690 / 1822 Last » Next »