1920 search results - page 294 / 384 » The Range Constraint: Algorithms and Implementation |
162
Voted
TACAS
2007
Springer
16 years 7 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
141
click to vote
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...
135
click to vote
SAC
2006
ACM
16 years 3 days ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
147
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
244
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...