2607 search results - page 307 / 522 » Complete Functional Synthesis |
138
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...
137
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
164
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, a data-driven extension of the variational algorithm is proposed. Based on a few selected sensors, target tracking is performed distributively without any informati...
113
click to vote
IH
2009
Springer
15 years 11 months ago
2009
Springer
This paper is concerned with the estimation of steganographic capacity in digital images, using information theoretic bounds and very large-scale experiments to approximate the dis...
170
click to vote
MOBISEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...