Video-on-demand (VoD) service providers are intensely interested in transport, storage, streaming and caching in content delivery networks. Today’s 5,000-hour library may grow t...
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. MOM (Multimedia Ontology Manager) is a ...
With the advent of multi-processor systems on a chip, the interest for message passing libraries has revived. Message passing helps in mastering the design complexity of parallel ...