5964 search results - page 936 / 1193 » A theory of speculative computation |
206
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
— This paper addresses an effective technique for digital fingerprinting for video. While orthogonal modulation technique is a straightforward and widely used method for digital ...
166
click to vote
LCN
2005
IEEE
16 years 9 days 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...
172
click to vote
LICS
2005
IEEE
16 years 9 days 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...
173
click to vote
LICS
2005
IEEE
16 years 9 days 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...
199
click to vote
MSE
2005
IEEE
16 years 9 days 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 ...