2607 search results - page 298 / 522 » On the Architecture of System Verification Environments |
115
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
This paper provides an overview of the Ambulant Open SMIL player. Unlike other SMIL implementations, the Ambulant Player is a reconfigureable SMIL engine that can be customized fo...
191
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
196
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
155
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
181
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Single System Image (SSI) Distributed Operating Systems have been the subject of increasing interest in recent years. This interest has been fueled primarily by the trend towards ...