5608 search results - page 909 / 1122 » On the Theory of Matchgate Computations |
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
— The seminar work of Gupta and Kumar [1] showed that multi-hop wireless networks with capacity scalable with the number of nodes, n, are achievable in theory. The transport capa...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
131
click to vote
MSE
2005
IEEE
15 years 7 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
133
click to vote
TRIDENTCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...