4872 search results - page 856 / 975 » The Efficiency of Optimal Taxes |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
In a multiuser system, independent time-varying channels among different users can be exploited to provide multiuser diversity (MUD) gain and increase the system throughput. For th...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract-- Spatial dissemination is a specific form of information dissemination that enables mobile users to send information to other mobile users who are or will appear at a spe...