Sciweavers

228 search results - page 24 / 46
» Synthesis from Production-Based Specifications
Sort
View
EUROMICRO
1999
IEEE
14 years 29 days ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
FPL
1999
Springer
147views Hardware» more  FPL 1999»
14 years 28 days ago
Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
George A. Constantinides, Peter Y. K. Cheung, Wayn...
ISSS
1999
IEEE
168views Hardware» more  ISSS 1999»
14 years 28 days ago
Automatic Architectural Synthesis of VLIW and EPIC Processors
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
Shail Aditya, B. Ramakrishna Rau, Vinod Kathail
ICECCS
1997
IEEE
97views Hardware» more  ICECCS 1997»
14 years 26 days ago
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols
Design of practical routing protocols is complex and dificult due to complicated requirements of faulttolerance and flexibility. The protocol is defined to be fault-tolerant if me...
Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakud...
COOPIS
2004
IEEE
14 years 11 days 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