Sciweavers

8669 search results - page 423 / 1734
» Computing matrix representations
Sort
View
IPPS
2003
IEEE
16 years 26 days ago
Active Memory Techniques for ccNUMA Multiprocessors
Our recent work on uniprocessor and single-node multiprocessor (SMP) active memory systems uses address remapping techniques in conjunction with extended cache coherence protocols...
Daehyun Kim, Mainak Chaudhuri, Mark Heinrich
ARITH
2007
IEEE
15 years 11 months ago
An Algorithm for Inversion in GF(2^m) Suitable for Implementation Using a Polynomial Multiply Instruction on GF(2)
An algorithm for inversion in GF(2m ) suitable for implementation using a polynomial multiply instruction on GF(2) is proposed. It is based on the extended Euclid's algorithm...
Katsuki Kobayashi, Naofumi Takagi, Kazuyoshi Takag...
CSR
2008
Springer
15 years 7 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky
SCL
2008
150views more  SCL 2008»
15 years 7 months ago
Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
Ben M. Chen, Xinmin Liu, Zongli Lin
GI
2010
Springer
15 years 6 months ago
Extended Object and Group Tracking: A Comparison of Random Matrices and Random Hypersurface Models
: Based on previous work of the authors, this paper provides a comparison of two different tracking methodologies for extended objects and group targets, where the true shape of th...
Marcus Baum, Michael Feldmann, Dietrich Fraenken, ...