894 search results - page 16 / 179 » Optimizations for LTL Synthesis |
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
83
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
87
Voted
WSCG
2004
15 years 7 days ago
2004
Synthesis of textures is a very popular and active area of research; the applications and the areas of interest are various and significant. In the last years, much work has been ...
113
Voted
ISPD
2012
ACM
13 years 6 months 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
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...