Sciweavers

4382 search results - page 655 / 877
» Query by Semantic Example
Sort
View
141
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
Charles André, Marie-Agnès Peraldi-F...
ISSS
2000
IEEE
144views Hardware» more  ISSS 2000»
15 years 7 months ago
Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
15 years 7 months ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon
VL
2000
IEEE
148views Visual Languages» more  VL 2000»
15 years 7 months ago
Projections in Venn-Euler Diagrams
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
Joseph Gil, John Howse, Stuart Kent, John Taylor
ECOOP
2000
Springer
15 years 7 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires