6581 search results - page 214 / 1317 » Formalizing Design Patterns |
107
click to vote
PVLDB
2010
15 years 2 months ago
2010
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
143
Voted
DAC
2003
ACM
15 years 9 months ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
120
Voted
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
134
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
128
Voted
DLT
2004
15 years 5 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...