6456 search results - page 1240 / 1292 » Constraint Solving on Terms |
SLIP
2005
ACM
15 years 3 months ago
2005
ACM
Routability optimization has become a major concern in the physical design cycle of VLSI circuits. Due to the recent advances in VLSI technology, interconnect has become a dominan...
WIKIS
2005
ACM
15 years 3 months ago
2005
ACM
We have developed a new powerful group communication system qwikWeb, which is an integration of a WikiWikiWeb (wiki) and a mailing list system. Mailing lists are useful for exchan...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
130
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...