248 search results - page 26 / 50 » Threaded Multiple Path Execution |
ENTCS
2007
13 years 8 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
ENTCS
2006
13 years 8 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
COOPIS
2004
IEEE
14 years 12 days ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
VLDB
2005
ACM
14 years 8 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...