151 search results - page 7 / 31 » Methodology to Evaluate the Functionality of Specification L... |
IWRIDL
2006
ACM
14 years 2 months ago
2006
ACM
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
CLEF
2010
Springer
13 years 9 months ago
2010
Springer
In our participation to the 2010 LogCLEF track we focused on the analysis of the European Library (TEL) logs and in particular we experimented with the identification of the natura...
WFLP
2000
Springer
14 years 3 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
ECBS
1999
IEEE
14 years 26 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
DSD
2004
IEEE
14 years 9 days ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...