Sciweavers

4772 search results - page 158 / 955
» An approach to interface synthesis
Sort
View
COOPIS
2004
IEEE
15 years 10 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
DATE
2004
IEEE
109views Hardware» more  DATE 2004»
15 years 10 months ago
RTL Processor Synthesis for Architecture Exploration and Implementation
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
Oliver Schliebusch, Anupam Chattopadhyay, Rainer L...
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 10 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ASPDAC
2008
ACM
94views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
Sujan Pandey, Rolf Drechsler
VMV
2000
206views Visualization» more  VMV 2000»
15 years 7 months ago
Extension of Incomplete 3D for Arbitrary Multi-View-Synthesis
The proposed approach is motivated by applications which allow user navigation and individual viewpoint specification in shared virtual environments with telepresence quality. In ...
Eddie Cooke, Oliver Schreer, Bernhard Pasewaldt, P...