1205 search results - page 226 / 241 » From high-level component-based models to distributed implem... |
104
Voted
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
100
click to vote
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
114
Voted
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
Simultaneous multithreading (SMT) represents a fundamental shift in processor capability. SMT's ability to execute multiple threads simultaneously within a single CPU offers ...
111
Voted
CCGRID
2002
IEEE
15 years 5 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
116
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...