11739 search results - page 358 / 2348 » Slideshow: functional presentations |
149
click to vote
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper addresses two problems related to disjointsupport decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results...
142
click to vote
FCCM
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents timing and area results for an FPGA implementation of a CDMA-based switch for networkson-chip. The design was mapped onto the Xilinx Virtex4 XC4VLX200 device u...
157
click to vote
LCN
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...
179
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The block ciphers MISTY1 and MISTY2 proposed by Matsui are based on the principle of provable security against differential and linear cryptanalysis. This paper presents...
348
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...