4485 search results - page 634 / 897 » Equivalences on Observable Processes |
141
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Sampling is used as a universal method to reduce the running time of computations – the computation is performed on a much smaller sample and then the result is scaled to comp...
168
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
249
click to vote
SASP
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper describes a multi-threaded parallel design and implementation of the Smith-Waterman (SM) algorithm on compute unified device architecture (CUDA)-compatible graphic pr...
146
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
153
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...