Sciweavers

74 search results - page 10 / 15
» ccr 2007
Sort
View
IWMM
2007
Springer
118views Hardware» more  IWMM 2007»
14 years 2 months ago
Detecting and eliminating memory leaks using cyclic memory allocation
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
Huu Hai Nguyen, Martin C. Rinard
JCSS
2007
88views more  JCSS 2007»
13 years 8 months ago
Counting lattice vectors
We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is â™...
Denis Xavier Charles
APPROX
2007
Springer
86views Algorithms» more  APPROX 2007»
14 years 17 days ago
Lower Bounds for Swapping Arthur and Merlin
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
Scott Diehl
CORR
2007
Springer
121views Education» more  CORR 2007»
13 years 8 months ago
Lower Bounds on Implementing Robust and Resilient Mediators
We provide new and tight lower bounds on the ability of players to implement equilibria using cheap talk, that is, just allowing communication among the players. One of our main r...
Ittai Abraham, Danny Dolev, Joseph Y. Halpern
CORR
2007
Springer
119views Education» more  CORR 2007»
13 years 8 months ago
A New Achievability Scheme for the Relay Channel
In this paper, we propose a new coding scheme for the general relay channel. This coding scheme is in the form of a block Markov code. The transmitter uses a superposition Markov ...
Wei Kang, Sennur Ulukus