Search Sciweavers | Sciweavers

16091 search results - page 246 / 3219

» Solving

187

click to vote

CODES
2010
IEEE

137views Software Engineering» more CODES 2010»

Improving platform-based system synthesis by satisfiability modulo theories solving

15 years 4 months ago

Download www12.informatik.uni-erlangen.de

Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...

Felix Reimann, Michael Glaß, Christian Haube...

claim paper

Read More »

134

click to vote

FOCS
2010
IEEE

128views Theoretical Computer Science» more FOCS 2010»

Approaching Optimality for Solving SDD Linear Systems

15 years 4 months ago

Download www.cs.cmu.edu

Ioannis Koutis, Gary L. Miller, Richard Peng

claim paper

Read More »

216

click to vote

FORMATS
2010
Springer

172views Formal Methods» more FORMATS 2010»

Combining Symbolic Representations for Solving Timed Games

15 years 4 months ago

Download react.cs.uni-sb.de

We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...

Rüdiger Ehlers, Robert Mattmüller, Hans-...

claim paper

Read More »

142

click to vote

GEM
2010

257views Artificial Intelligence» more GEM 2010»

Solving the Minimum Label Spanning Tree Problem by Ant Colony Optimization

15 years 4 months ago