7092 search results - page 431 / 1419 » Parallelizing constraint programs |
144
Voted
COMPULOG
1999
Springer
15 years 8 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...
139
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
120
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
114
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present a novel Weighted Barrier Function (WBF) method of efficiently computing optimal grasping force distributions for multifingered hands. Second-order conic friction c...
127
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Three essential criteria are important for activity planning, including: (1) finding a group of attendees familiar with the initiator, (2) ensuring each attendee in the group to ...