1953 search results - page 224 / 391 » codes 2010 |
159
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
177
Voted
SIAMCO
2010
15 years 4 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
244
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
228
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
160
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—We derive an adaptive power control method for a collaborative network utilizing partner selection that aims to minimize the frame error rate (FER). We model a decodeand-forward...