307 search results - page 17 / 62 » Automatic Parallelization Techniques for the EM-4 |
MLMI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. An important step to bring speech technologies into wide deployment as a functional component in man-machine interfaces is to free the users from close-talk or desktop mi...
ICS
2007
Tsinghua U.
15 years 5 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
109
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
HPCC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
106
click to vote
EUROPAR
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Current approaches to parallel I/O demand extensive user effort to obtain acceptable performance. This is in part due to difficulties in understanding the characteristics...