1069 search results - page 177 / 214 » Automatic Generation of Language-based Tools |
ICCAD
1996
IEEE
15 years 4 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...
CAV
2010
Springer
15 years 3 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...
CSB
2004
IEEE
15 years 3 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...
107
click to vote
POPL
2000
ACM
15 years 3 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...
ICPR
2010
IEEE
15 years 3 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...