1261 search results - page 116 / 253 » Extending the Capabilities of Component Models for Embedded ... |
ACL
2007
13 years 10 months ago
2007
We describe an open-source toolkit for statistical machine translation whose novel contributions are (a) support for linguistically motivated factors, (b) confusion network decodi...
HPDC
2012
IEEE
11 years 11 months ago
2012
IEEE
networking with a layer 2 abstraction provides a powerful model for virtualized wide-area distributed computing resources, including for high performance computing (HPC) on collec...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Recent information hiding schemes are scrutinized in terms of their cryptographic performance. We establish conditions under which the key equivocation function is optimal for the...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
SRDS
2007
IEEE
14 years 3 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...