2836 search results - page 289 / 568 » Model Checking for Software Architectures |
165
Voted
CASES
2001
ACM
15 years 8 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
188
click to vote
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...
194
Voted
CASES
2007
ACM
15 years 9 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
143
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
141
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...