16404 search results - page 933 / 3281 » A set coverage problem |
207
click to vote
ISSRE
2002
IEEE
16 years 19 days ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
182
click to vote
CDC
2009
IEEE
16 years 13 days ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
215
click to vote
ESA
2009
Springer
16 years 10 days ago
2009
Springer
The interval graph for a set of intervals on a line consists of one vertex for each interval, and an edge for each intersecting pair of intervals. A probe interval graph is a varia...
198
click to vote
EMMCVPR
2001
Springer
16 years 6 days ago
2001
Springer
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...
224
click to vote
DAC
1996
ACM
15 years 12 months ago
1996
ACM
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...