10718 search results - page 712 / 2144 » On the Circuit Implementation Problem |
184
click to vote
EVOW
2001
Springer
16 years 1 days ago
2001
Springer
In this article we investigate the application of iterated local search (ILS) to the single machine total weighted tardiness problem. Our research is inspired by the recently propo...
174
click to vote
SPIN
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
161
Voted
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
175
Voted
DEXA
1998
Springer
15 years 11 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
186
Voted
FPL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...