1048 search results - page 16 / 210 » Framework Design for End-to-End Optimization |
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a signal recognition system that is jointly optimized from mathematical representation, algorithm design and final implementation. The goal is to exploit sign...
WIOPT
2010
IEEE
13 years 5 months ago
2010
IEEE
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
CC
2007
Springer
14 years 1 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
SAG
2004
Springer
14 years 20 days ago
2004
Springer
Grid workflows can be seen as special scientific workflows involving high performance and/or high throughput computational tasks. Much work in grid workflows has focused on improvi...