2621 search results - page 202 / 525 » Near orders and codes |
163
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
164
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
139
click to vote
ADCM
2008
15 years 6 months ago
2008
In transmission, storaging and coding of digital signals we frequently perform A/D conversion using quantization. In this paper we study the maxiaml and mean square errors as a res...
163
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
195
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Upcoming multi antenna systems such as 3GPPLTE employ code book based multi-mode precoding in order to adapt to a wide range of channel conditions. Link adaptation, which...