3045 search results - page 538 / 609 » Formal Approaches to Software Architecture |
162
click to vote
DASIP
2010
15 years 1 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
185
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
162
click to vote
OTM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...
191
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
191
click to vote
IEAAIE
2000
Springer
15 years 9 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...