8437 search results - page 169 / 1688 » Preferences over Sets |
189
click to vote
ISSAC
2004
Springer
16 years 14 days 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,...
177
click to vote
ICPP
2003
IEEE
16 years 11 days 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 ...
192
Voted
LCN
2003
IEEE
16 years 11 days 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...
214
click to vote
HYBRID
2003
Springer
16 years 9 days 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...
176
click to vote
SAT
2010
Springer
15 years 11 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...