238 search results - page 34 / 48 » Covering Codes for Hats-on-a-line |
169
click to vote
ICSM
2006
IEEE
16 years 3 days ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
155
click to vote
PPOPP
2006
ACM
16 years 21 hour ago
2006
ACM
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. In many cases, users wishi...
153
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
144
click to vote
STACS
2004
Springer
15 years 11 months ago
2004
Springer
We present two simple algorithms for SAT and prove upper bounds on their running time. Given a Boolean formula F in conjunctive normal form, the first algorithm finds a satisfyin...
143
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
A grammar-based approach to tool development in re- and reverse engineering promises precise structure awareness, but it is problematic in two respects. Firstly, it is a considera...