9325 search results - page 1542 / 1865 » The decentralized implementability problem |
159
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
117
click to vote
TASLP
2010
15 years 3 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
184
click to vote
TCOM
2010
15 years 3 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...
127
click to vote
TLT
2010
15 years 3 months ago
2010
—It seems self-evident that life for teachers would be simplified if there existed a large corpus of relevant resources that was available for them to reuse and for inquisitive s...
138
click to vote
TMC
2010
15 years 3 months ago
2010
—Wireless mesh networks are a promising area for the deployment of new wireless communication and networking technologies. In this paper, we address the problem of enabling effec...