6881 search results - page 272 / 1377 » Motivation |
162
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
145
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
While current manufacturing systems are built to avoid uncertainty, the increase of setup reconfiguration frequency and ever higher numbers of variants produced on the same syste...
170
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
As FPGA-based systems including soft-processors become increasingly common we are motivated to better understand the best way to scale the performance of such systems. In this pap...
194
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We address the problem of maximizing the minimum signal to interference and noise ratio of individual users via linear precoding in a multiuser downlink channel with mul...
165
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays most universities use different distance learning environments. However in the educational process besides forums, chats and other collaborative possibilities the content...