2501 search results - page 398 / 501 » Logics with Rank Operators |
166
click to vote
FPGA
2012
ACM
14 years 3 days ago
2012
ACM
In floating-point datapaths synthesized on FPGAs, the shifters that perform mantissa alignment and normalization consume a disproportionate number of LUTs. Shifters are implemente...
145
click to vote
POPL
2012
ACM
14 years 7 hour ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
165
click to vote
POPL
2012
ACM
14 years 7 hour ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
160
click to vote
TMC
2012
13 years 6 months ago
2012
The FCC ruling on Nov 4th, 2008 on white spaces has opened up the possibility of wireless network deployments over white spaces, i.e., vacant UHF TV channels. A key requirement fo...
258
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...