Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

DAGSTUHL
2007

favoriteEmaildiscussreport

72views Software Engineering» more DAGSTUHL 2007»

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

13 years 6 months ago

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications

Download drops.dagstuhl.de

Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K.

Real-time Traffic

DAGSTUHL 2007 | Software Engineering |

claim paper

Related Content

» Translating concurrent action oriented specifications to synchronous guarded actions

» Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Path...

» Dynamic scheduling and synchronization synthesis of concurrent digital systems under syste...

» Runtime Verification with the RV System

» Modelling a Secure Mobile and Transactional System with COOPN

» Beyond RTL Advanced Digital System Design

» Software Synthesis for System Level Design Using Process Execution Trees

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2007
Where	DAGSTUHL
Authors	Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla

Comments (0)