8437 search results - page 169 / 1688 » Preferences over Sets |
163
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
Let L be an algebraic function field in k ≥ 0 parameters t1, . . . , tk. Let f1, f2 be non-zero polynomials in L[x]. We give two algorithms for computing their gcd. The first,...
162
click to vote
ICPP
2003
IEEE
15 years 11 months ago
2003
IEEE
Multicast is an important collective operation for parallel programs. Some Network Interface Cards (NICs), such as Myrinet, have programmable processors that can be programmed to ...
172
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
IEEE 802.11b compliant WLAN technology is increasingly used for cordless telephone services. Often, a WLAN phone is moved during a call. In the present paper we explore to what ex...
190
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
162
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...