1069 search results - page 177 / 214 » Automatic Generation of Language-based Tools |
142
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
153
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a novel technique for automatically generating the SCOP classification of a protein structure with high accuracy. High accuracy is achieved by combining the decisions o...
192
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
168
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...