7393 search results - page 1265 / 1479 » Synthesis-for-testability using transformations |
123
Voted
CASCON
2007
15 years 5 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
122
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
In the context of the RESUME-project a scalable wavelet-based video decoder was built to demonstrate the benefits of reconfigurable hardware for scalable applications. Scalable v...
82
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
The Dagstuhl Seminar Similarity-based Clustering and its Application to Medicine and Biology (07131) held in March 25–30, 2007, provided an excellent atmosphere for in-depth disc...
109
Voted
ISEMANTICS
2010
15 years 5 months ago
2010
We present BibBase, a system for publishing and managing bibliographic data available in BibTeX files. BibBase uses a powerful yet light-weight approach to transform BibTeX files ...
136
Voted
LREC
2010
15 years 5 months ago
2010
In Chinese texts, words composed of single or multiple characters are not separated by spaces, unlike most western languages. Therefore Chinese word segmentation is considered an ...