894 search results - page 92 / 179 » Optimizations for LTL Synthesis |
88
Voted
DAC
1995
ACM
15 years 4 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
126
click to vote
CSREAESA
2004
15 years 2 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
123
click to vote
CGF
2006
15 years 22 days ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
109
Voted
TOG
2008
15 years 17 days ago
2008
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
CCE
2005
15 years 17 days ago
2005
In this paper, a rigorous MILP formulation for grass-root design of heat exchanger networks is developed. The methodology does not rely on traditional supertargeting followed by n...