22193 search results - page 55 / 4439 » Multiple Restricted Multiplication |
CADE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
78
Voted
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
—Known covert channel based on splitting algorithms in Medium Access Control (MAC) protocols requires the receiver’s knowledge of the sender’s identity. In this paper we pres...
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
—Simplified order-16 Integer Cosine Transform (ICT) has been proved to be an efficient coding tool especially for High-Definition (HD) video coding and is much simpler than ICT a...
CSL
2007
Springer
15 years 5 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...