6274 search results - page 1107 / 1255 » Proofs, Programs, Processes |
IPPS
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...
ISSS
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
ICSE
1999
IEEE-ACM
14 years 3 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
DEXAW
1998
IEEE
14 years 3 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
HPCA
1998
IEEE
14 years 3 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...