1438 search results - page 239 / 288 » Models for Trustworthy Service and Process Oriented Systems |
GLOBAL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
IJFCS
2006
14 years 11 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
115
click to vote
CODES
1998
IEEE
15 years 4 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
112
click to vote
USS
2008
15 years 2 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...