13109 search results - page 143 / 2622 » The design and implementation of AspectC |
149
click to vote
INFFUS
2006
2006
Comparative implementation of two fusion schemes for multiple complementary FLIR imagery classifiers
15 years 6 months ago
Several classifiers for forward looking infra-red imagery are designed and implemented, and their relative performance is benchmarked on 2545 images belonging to 8 different ship ...
160
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
181
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Thermal gradients across the die are becoming increasingly prominent as we scale further down into the sub-nanometer regime. While temperature was never a primary concern, its non...
175
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design of a fast multi-core library for the cryptographic Tate pairing over supersingular elliptic curves. For the computation of the reduced modified Tat...
162
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...