2836 search results - page 539 / 568 » Model Checking for Software Architectures |
MM
2009
ACM
14 years 2 months ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...
DAMON
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
UM
2007
Springer
14 years 1 months ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
MM
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes a digital theater installation called Buzz. Buzz consists of virtual actors who express the collective voice generated by weblogs (blogs). These actors find ...