12459 search results - page 304 / 2492 » cans 2006 |
180
click to vote
JC
2000
15 years 6 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
175
click to vote
JCB
2000
15 years 6 months ago
2000
For aligning DNA sequences that differ only by sequencing errors, or by equivalent errors from other sources, a greedy algorithm can be much faster than traditional dynamic progra...
194
click to vote
JCNS
2000
15 years 6 months ago
2000
The dynamics of networks of sparsely connected excitatory and inhibitory integrate-and-fire neurons are studied analytically. The analysis reveals a rich repertoire of states, incl...
167
click to vote
JCST
2000
15 years 6 months ago
2000
LinuxDirector is a connection director that supports load balancing among multiple Internet servers, which can be used to build scalable Internet services based on clusters of ser...
156
click to vote
JHSN
2000
15 years 6 months ago
2000
We consider communication primitives that can be executed by an application process to exchange messages with another application process over a TCP/IP network. A communication pri...