4690 search results - page 610 / 938 » An operational semantics for Scheme |
232
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Block diagonalization is a linear precoding technique for the multiple antenna broadcast (downlink) channel that involves transmission of multiple data streams to each receiver su...
228
click to vote
ENTCS
2006
15 years 7 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
202
click to vote
IOR
2008
15 years 7 months ago
2008
Wireless sensor networks pose numerous fundamental coordination problems. For instance, in a number of application domains including homeland security, environmental monitoring an...
213
click to vote
IJDSN
2006
15 years 7 months ago
2006
Multi-hop wireless networks (such as ad-hoc or sensor networks) consist in sets of mobile nodes without the support of a pre-existing fixed infrastructure. For scalability purpose...
193
click to vote
IJHPCA
2006
15 years 7 months ago
2006
In this paper, we consider the communications involved in the execution of a complex application, deployed on a heterogeneous platform. Such applications extensively use macro-com...