894 search results - page 16 / 179 » Optimizations for LTL Synthesis |
115
Voted
ICCAD
2003
IEEE
16 years 17 days 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...
128
Voted
ATAL
2004
Springer
15 years 9 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...
122
Voted
WSCG
2004
15 years 5 months 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 ...
153
Voted
ISPD
2012
ACM
13 years 11 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...
127
Voted
CDC
2009
IEEE
15 years 8 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 ...