2184 search results - page 11 / 437 » Modeling and Realizing Interoperability |
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
In the paper, we develop a systematic methodology for modeling sampled interconnect frequency response data based on spline interpolation. Through piecewise polynomial interpolatio...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
ASIACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...