116 search results - page 11 / 24 » Model Synthesis from Imprecise Specifications |
108
click to vote
SGP
2004
15 years 2 months ago
2004
Patterns on real-world objects are often due to variations in geometry across the surface. Height fields and other common parametric methods cannot synthesize many forms of geomet...
ECAL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
In high level synthesis each node of a synchronous dataflow graph (DFG) is scheduled to a specific time and allocated to a processor. In this paper we present new integer linear p...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...