16257 search results - page 133 / 3252 » D-finiteness: algorithms and applications |
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
ISPD
2004
ACM
15 years 3 months ago
2004
ACM
Due to increasing design complexity, routing congestion has become a critical problem in VLSI designs. This paper introduces a distributed metric to predict routing congestion for...
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper we propose a new compression algorithm geared to reduce the time needed to test scan-based designs. Our scheme compresses the test vector set by encoding the bits th...
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of source signals...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The important research objective of identifying genes with similar behavior with respect to different conditions has recently been tackled with biclustering techniques. I...