526 search results - page 81 / 106 » Towards the Verifying Compiler |
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
Accurately describing interactions between medical devices and anatomical structures, or between anatomical structures themselves, is an essential step towards the adoption of comp...
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
DVD menus often miss out on usability and are complex and difficult to navigate through. One of the main problems is the lack of design standards. By conducting an expert walkthro...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we investigate the problem of uneven energy consumptions in a large class of many-to-one sensor networks. In a many-to-one sensor network, all sensor nodes generate ...