6762 search results - page 986 / 1353 » Multiple drafts model |
112
click to vote
ENTCS
2008
15 years 26 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
ENTCS
2008
15 years 26 days ago
2008
Control flow is often key problem in current web applications. For example, using the back button gives a POSTDATA error, using multiple windows books the wrong hotel, and sending...
100
Voted
BIB
2006
15 years 26 days ago
2006
One of the major goals of computational sequence analysis is to find sequence similarities, which could serve as evidence of structural and functional conservation, as well as of ...
111
Voted
FUIN
2008
15 years 26 days ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
87
Voted
FUIN
2008
15 years 26 days ago
2008
In this paper we present external memory algorithms for some string problems. External memory algorithms have been developed in many research areas, as the speed gap between fast ...