1271 search results - page 118 / 255 » On Simulation-Checking with Sequential Systems |
107
Voted
TRS
2008
15 years 12 days ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
113
click to vote
TIP
2010
14 years 11 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
154
click to vote
HPCA
2011
IEEE
14 years 4 months ago
2011
IEEE
Flash memory based solid state drives (SSDs) have shown a great potential to change storage infrastructure fundamentally through their high performance and low power. Most recent ...
109
click to vote
COOPIS
1998
IEEE
15 years 4 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
103
click to vote
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Publish-subscribe systems present the state of the art in information dissemination to multiple users. Such systems have evolved from simple topic-based to the current XM...