1132 search results - page 115 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
160
click to vote
JMMA
2010
15 years 1 months ago
2010
An original algorithm is presented that generates both restricted integer compositions and restricted integer partitions that can be constrained simultaneously by a) upper and low...
199
click to vote
TSP
2010
15 years 1 months ago
2010
We study the estimation of a Gaussian source by a Gaussian wireless sensor network (WSN) where L distributed sensors transmit noisy observations of the source through a fading Gau...
156
click to vote
COCO
2004
Springer
15 years 12 months ago
2004
Springer
We investigate coin-flipping protocols for multiple parties in a quantum broadcast setting: • We propose and motivate a definition for quantum broadcast. Our model of quantum ...
178
click to vote
RTSS
2005
IEEE
16 years 19 hour ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
178
click to vote
FPGA
1999
ACM
15 years 10 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...