1069 search results - page 169 / 214 » Automatic Generation of Language-based Tools |
106
click to vote
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
105
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
127
click to vote
ICPADS
1994
IEEE
15 years 3 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
117
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...