1939 search results - page 36 / 388 » Dynamic Lex Constraints |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
PRDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Recently, hackers has been developing fast propagating worms exploiting vulnerabilities that had just been disclosed by security experts. Those attacks particularly expose servers...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structur...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
AROBOTS
2002
13 years 7 months ago
2002
We present an approach to path planning for humanoid robots that computes dynamically-stable, collision-free trajectories from full-body posture goals. Given a geometric model of t...