1309 search results - page 87 / 262 » Approaching Optimality for Solving SDD Linear Systems |
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...
AB
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...
IMC
2005
ACM
15 years 5 months ago
2005
ACM
Sketch is a sublinear space data structure that allows one to approximately reconstruct the value associated with any given key in an input data stream. It is the basis for answer...
106
click to vote
FPGA
1999
ACM
15 years 4 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...