936 search results - page 114 / 188 » The Synthesis Problem of Netcharts |
110
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
148
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
124
Voted
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we deal with the problem of partially observed objects. These objects are defined by a set of points and their shape variations are represented by a statis...
129
Voted
IUI
2000
ACM
15 years 7 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
As device feature size decreases, interconnection delay becomes the dominating factor of system performance. Thus it is important that accurate physical information is used during...