Sciweavers

5387 search results - page 398 / 1078
» Generating generic functions
Sort
View
TVLSI
2008
152views more  TVLSI 2008»
15 years 6 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
ATS
2003
IEEE
112views Hardware» more  ATS 2003»
16 years 2 days ago
Domain Testing Based on Character String Predicate
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
PLDI
1997
ACM
15 years 11 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
APLAS
2003
ACM
15 years 10 months ago
Executing Verified Compiler Specification
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
Koji Okuma, Yasuhiko Minamide
COLING
2000
15 years 8 months ago
Corpus-dependent Association Thesauri for Information Retrieval
This paper presents a method for automatically generating an association thesaurus from a text corpus, and demonstrates its application to information retrieval. The thesaurus gen...
Hiroyuki Kaji, Yasutsugu Morimoto, Toshiko Aizono,...