4305 search results - page 267 / 861 » The Test of Time |
182
click to vote
COLOGNETWENTE
2009
15 years 7 months ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
188
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
166
click to vote
DSD
2005
IEEE
16 years 9 days ago
2005
IEEE
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
182
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
203
click to vote
OPODIS
2007
15 years 8 months ago
2007
This report describes a necessary and sufficient test for the schedulability of a set of sporadic harddeadline tasks on a multiprocessor platform, using any of a variety of schedu...