141 search results - page 15 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
115
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
DASFAA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. As networks continue to grow in size and complexity, distributed network monitoring and resource querying are becoming increasingly difficult. Our aim is to design, build...
CIARP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we introduce a general framework for hierarchical clustering that deals with both static and dynamic data sets. From this framework, different hierarchical...
105
Voted
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— We address the problem of vision-based multiperson tracking in busy pedestrian zones using a stereo rig mounted on a mobile platform. Specifically, we are interested i...