4609 search results - page 141 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
JIPS
2006
15 years 6 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
133
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
123
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
150
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...
182
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes the features and design methodology of MIDA, a MPEG1 integrated audio decoder. MIDA has been almost completely designed using automatic synthesis of VHDL desc...