936 search results - page 70 / 188 » The Synthesis Problem of Netcharts |
131
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
119
Voted
DAC
1999
ACM
16 years 4 months ago
1999
ACM
In this paper, we establish a theoretical framework for a new concept of scheduling called soft scheduling. In contrasts to the traditional schedulers referred as hard schedulers,...
117
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
123
Voted
ICIAP
2003
ACM
16 years 3 months ago
2003
ACM
This work deals with the view synthesis problem, i.e., how to generate snapshots of a scene taken from a "virtual" viewpoint different from all the viewpoints of the rea...
130
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...