2206 search results - page 190 / 442 » On the power of coercion abstraction |
160
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
162
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
154
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
176
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We study pricing games in single-layer relay networks where the source routes traffic selfishly according to the strategic bids made by relays. Each relay’s bid incl...
173
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A cross-layer communication protocol called VSNModule is introduced for Wireless Video Sensor Networks based on UltraWideBand (UWB) radio technology at the physical laye...