566 search results - page 28 / 114 » Array Abstractions from Proofs |
149
Voted
DCG
2010
15 years 3 months ago
2010
Abstract. The Topological Radon Theorem states that, for every continuous function from the boundary of a (d + 1)-dimensional simplex into Rn , there exist a pair of disjoint faces...
184
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
142
Voted
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
ABSTRACT: An active leakage-injection scheme (ALIS) for lowvoltage (LV) high-density (HD) SRAMs is presented. By means of a feedback loop comprising a servo-amplifier and a commond...
166
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. The inherently sequential nature of random discrete eventdriven simulation has made parallel and distributed processing di cult. This paper presents a method of applying ...
200
click to vote
ERSA
2009
15 years 4 months ago
2009
Abstract-- The paper presents the implementation of nonlinear least-squares regression in a Field Programmable Gate Array (FPGA) device. The implemented algorithm is very performan...