8413 search results - page 487 / 1683 » Ordering Problem Subgoals |
201
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
202
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
The notions of subgraph centrality and communicability, based on the exponential of the adjacency matrix of the underlying graph, have been effectively used in the analysis of und...
239
click to vote
POST
2012
14 years 2 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
299
click to vote
VSTTE
2012
Springer
14 years 2 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
213
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper, we propose to leverage cloud computing to tame resource-poor mobile devices. Specifically, mobile applications can be executed in the mobile device (know...