2673 search results - page 46 / 535 » Guided Static Analysis |
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— Most mobile robots in existence today have large, heavy, statically stable bases. To enable manipulation, actuated arms and effectors are attached to the base providing limited...
SCAM
2005
IEEE
15 years 4 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
IFIP
2003
Springer
15 years 4 months ago
2003
Springer
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
With continued scaling of technology into nanometer regimes, the impact of coupling induced delay variations is significant. While several coupling-aware static timers have been pr...
SE
2008
15 years 17 days ago
2008
Existing software systems contain a significant amount of duplicated code. Such redundancy can negatively impact program correctness, since inconsistent updates to duplicated code ...