3342 search results - page 469 / 669 » Automating Abstract Interpretation |
98
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
91
Voted
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Software vendors are increasingly concerned about mitigating the security risk of their software. Code quality improvement is a traditional approach to mitigate security ...
91
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Collecting grasp data for learning and benchmarking purposes is very expensive. It would be helpful to have a standard database of graspable objects, along with a set o...
94
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...