1992 search results - page 329 / 399 » On the (limited) power of non-equivocation |
104
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...
123
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
125
Voted
CONEXT
2005
ACM
15 years 3 months ago
2005
ACM
Wireless Mesh Networks (WMNs) are an emerging architecture based on multi-hop transmission. ISPs considers WMNs as a potential future technology to offer broadband Internet acces...
117
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
120
click to vote
ODRL
2004
15 years 3 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...