4814 search results - page 129 / 963 » Combining abstract interpreters |
146
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Nanoscale technology promises dramatically increased device density, but also decreased reliability. With bit error rates projected to be as high as 10%, designing a us...
136
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Robot control systems consist of a feedback controller and reference motion pattern. They are designed based on the robot dynamics and coupled with each other, and it r...
173
click to vote
ISCAS
2007
IEEE
16 years 20 days ago
2007
IEEE
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...
189
click to vote
AGTIVE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
156
click to vote
ICDT
2007
ACM
16 years 16 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...