10907 search results - page 389 / 2182 » Constraint Based Strategies |
181
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
193
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
159
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper discusses the problem of generating patrol paths for a team of mobile robots inside a designated target area. Patrolling requires an area to be visited repeatedly by...
140
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
168
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...