10412 search results - page 1945 / 2083 » The efficiency of algorithms - misconceptions |
127
click to vote
ASPDAC
2007
ACM
15 years 8 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 ...
176
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
141
click to vote
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] was revised [2], and an important addition is the definition of decimal floating-point arithmetic. This is inte...
167
click to vote
CTRSA
2009
Springer
15 years 8 months ago
2009
Springer
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
141
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
It is now common for IPTV systems attracting millions of users to be based on a peer-to-peer (P2P) architecture. In such systems, each channel is typically associated with one P2P ...