10159 search results - page 1607 / 2032 » System Design Validation Using Formal Models |
188
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—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...
189
click to vote
ICS
2005
Tsinghua U.
16 years 12 days ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
256
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Database workloads consist of mixes of queries that run concurrently and interact with each other. In this paper, we demonstrate that query interactions can have a significant imp...
185
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— To address the difficulty of designing a controller for complex visual-servoing tasks, two learning-based uncalibrated approaches are introduced. The first method starts by b...
178
click to vote
CODES
2006
IEEE
16 years 28 days ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...