Result 1 to 13 of 13 total
Performance evaluation of personal and general data classes for trust management in manets (English)
JIP 19, 364-377 (2011).
1
Deskilling HPL. Using an evolutionary algorithm to automate cluster benchmarking. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 8th international conference, PPAM 2009, Wroclaw, Poland, September 13‒16, 2009. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-14402-8/pbk). Lecture Notes in Computer Science 6068, 102-114 (2010).
2
Deskilling HPL (English)
PPAM (2), 102-114 (2009).
3
Generation of software tools from processor descriptions for hardware/software codesign (English)
DAC, 303-306 (1997).
4
Practical considerations in the use of TEI headers in a large corpus (English)
Computers and the Humanities 29, No. 1, 85-98 (1995).
5
Generalizing specifications for uniformly implemented loops. (English)
ACM Trans. Program. Lang. Syst. 7, 137-158 (1985).
6
Generalizing specifications for uniformly implemented loops (English)
ACM Trans. Program. Lang. Syst. 7, No. 1, 137-158 (1985).
7
A heuristic for deriving loop functions. (English)
IEEE Trans. Software Eng. 10, 275-285 (1984).
8
A heuristic for deriving loop functions (English)
IEEE Trans. Software Eng. 10, No. 3, 275-285 (1984).
9
On the design of a special-purpose scientific programming language. (English)
Softw., Pract. Exper. 13, 893-907 (1983).
10
On the design of a special-purpose scientific programming language (English)
Softw., Pract. Exper. 13, No. 10, 893-907 (1983).
11
A comparative analysis of functional correctness. (English)
Comput. Surv. 14, 229-244 (1982).
12
A comparative analysis of functional correctness (English)
ACM Comput. Surv. 14, No. 2, 229-244 (1982).
13
Result 1 to 13 of 13 total