936 search results - page 2 / 188 » The Synthesis Problem of Netcharts |
ACSD
2009
IEEE
13 years 10 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
ISPD
2012
ACM
12 years 27 days ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...
CDC
2010
IEEE
13 years 10 days ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
NETWORKS
1998
13 years 5 months ago
1998
SIAMDM
2008
13 years 4 months ago
2008
