7452 search results - page 93 / 1491 » A Semantics for Multiprocessor Systems |
149
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
127
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
127
Voted
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
108
Voted
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we propose a fast and simple heuristic for the cosynthesis problem targeting the system-on-chip (SOC) design. The proposed algorithm covers from implementation sele...
156
Voted
HIPEAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...