2836 search results - page 494 / 568 » Model Checking for Software Architectures |
189
click to vote
CODES
2009
IEEE
16 years 5 days ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
161
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
157
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
182
click to vote
FCCM
2009
IEEE
15 years 9 months ago
2009
IEEE
Artificial neural networks are a key tool for researchers attempting to understand and replicate the behaviour and intelligence found in biological neural networks. Software simul...
160
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...