1650 search results - page 186 / 330 » The HOM problem is decidable |
131
Voted
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Stalls, due to mis-matches in communication rates, are a major performance obstacle in pipelined circuits. If the rate of data production is faster than the rate of consumption, t...
134
Voted
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
118
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...
123
click to vote
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present algorithms and lower bounds for the Longest Increasing Subsequence (LIS) and Longest Common Subsequence (LCS) problems in the data streaming model. For t...
137
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...