8874 search results - page 272 / 1775 » A New Implementation of Automath |
202
click to vote
NEW2AN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we consider a problem of implementing a hybrid routing protocol for wireless sensor networks, which natively supports data-centric, geographic-based and add...
186
click to vote
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—The Massey-Omura multiplier is a well-known sequential multiplier over finite fields GF(2m ), which can perform multiplication in m clock cycles for the normal basis. In this ar...
193
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Bit and subword permutations are useful in many multimedia and cryptographic applications. New shift and permute instructions have been added to the instruction set of general-...
182
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
174
click to vote
ICLP
2005
Springer
16 years 24 days ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...