7886 search results - page 387 / 1578 » An evaluation of bipartitioning techniques |
227
click to vote
ENTCS
2008
15 years 6 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
217
click to vote
DATESO
2010
15 years 5 months ago
2010
Abstract. Current XPath processors use direct approach to query evaluation which is quite inefficient in some cases and usually implemented serially. This may be a problem in case ...
232
click to vote
EDM
2009
15 years 5 months ago
2009
Identification of significant differences in sets of data is a common task of data mining. This paper describes a novel visualization technique that allows the user to interactivel...
188
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
Revealing and being able to manipulate the structured content of PDF documents is a difficult task, requiring pre-processing and reverse engineering techniques. In this paper, we ...
247
Voted
TOPNOC
2010
15 years 2 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...