5159 search results - page 402 / 1032 » Structural Testing of Executables |
235
click to vote
ICALP
1994
Springer
15 years 11 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
236
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
166
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a realizable RLMC1 reduction algorithm for extracted interconnect circuits based on two effective approaches: RL branch reduction and RC/LC node reduction. Our...
215
click to vote
APPINF
2003
15 years 9 months ago
2003
In this paper we present optimum interval routing algorithms for message passing networks that have topological structure defined by k-caterpillars and maximal outer planar graph...
206
Voted
SNPD
2003
15 years 9 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...