2693 search results - page 309 / 539 » On Computing Complex Navigation Functions |
153
click to vote
BIRTHDAY
2007
Springer
16 years 22 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
172
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
181
click to vote
ICN
2007
Springer
16 years 21 days ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
168
click to vote
TRIDENTCOM
2006
IEEE
16 years 17 days ago
2006
IEEE
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
153
click to vote
ACIVS
2006
Springer
16 years 16 days ago
2006
Springer
This paper considers the design of an optimal joint source-channel coding system employing scalable wavelet-based source coders and unequal error protection for error-resilient tra...