4359 search results - page 158 / 872 » Automated Pipeline Design |
151
Voted
DASIP
2010
14 years 10 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
116
Voted
HT
1998
ACM
15 years 7 months ago
1998
ACM
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
120
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
133
Voted
SP
2008
IEEE
15 years 9 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
120
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Emerging heterogeneous multiprocessors will have custom memory and bus architectures that must balance resource sharing and system partitioning to meet cost constraints. We propos...