6978 search results - page 1018 / 1396 » On Proofs in System P |
202
Voted
TRIDENTCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...
178
Voted
ISLPED
2005
ACM
16 years 1 months ago
2005
ACM
Aggressive hardware prefetching often significantly increases energy consumption in the memory system. Experiments show that a major fraction of prefetching related energy degrad...
242
Voted
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
187
Voted
FCT
2005
Springer
16 years 1 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
191
Voted
IPTPS
2005
Springer
16 years 1 months ago
2005
Springer
To improve performance, large-scale Internet systems require clients to access nearby servers. While centralized systems can leverage static topology maps for rough network distan...