571 search results - page 11 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
ENTCS
2006
13 years 7 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
CLUSTER
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we analyze the I/O access patterns of a widely-used biological sequence search tool and implement two variations that employ parallel-I/O for data access based on PV...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...