2465 search results - page 268 / 493 » Automata on Linear Orderings |
104
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Multi-core processors are a shift of paradigm in computer architecture that promises a dramatic increase in performance. But multi-core processors also bring an unprecedented leve...
117
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...
86
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
119
click to vote
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
82
Voted
CPM
2004
Springer
15 years 6 months ago
2004
Springer
Given two undirected trees T and P, the Subtree Homeomorphism Problem is to find whether T has a subtree t that can be transformed into P by removing entire subtrees, as well as ...