799 search results - page 103 / 160 » Generating Reliable Code from Hybrid-Systems Models |
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
We are interested in identifying the material category, e.g. glass, metal, fabric, plastic or wood, from a single image of a surface. Unlike other visual recognition tasks in comp...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes a method to localize objects which are partially buried in an unstructured environment. The objects are limited to surfaces of revolution in the present study...
MICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
Technology scaling, characterized by decreasing feature size, thinning gate oxide, and non-ideal voltage scaling, will become a major hindrance to microprocessor reliability in fu...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...