228 search results - page 21 / 46 » Synthesis from Production-Based Specifications |
EURODAC
1994
IEEE
14 years 23 days ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
ICCAD
1994
IEEE
14 years 23 days ago
1994
IEEE
In high level synthesis each node of a synchronous dataflow graph (DFG) is scheduled to a specific time and allocated to a processor. In this paper we present new integer linear p...
VLDB
1990
ACM
14 years 20 days ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
WSCG
2001
13 years 10 months ago
2001
A procedure is described for synthesizing an image with the same texture as a given input image. To achieve this, the output image is built up by successively adding pixels select...
VMV
2000
13 years 10 months ago
2000
The proposed approach is motivated by applications which allow user navigation and individual viewpoint specification in shared virtual environments with telepresence quality. In ...