1003 search results - page 129 / 201 » How to Parallelize Sequential Processes |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
ESCIENCE
2007
IEEE
14 years 4 months ago
2007
IEEE
With the proliferation of Grid computing, a large number of computational resources are available for solving complex scientific and engineering problems. Nevertheless, it is non-...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...