43264 search results - page 7961 / 8653 » Comparing models of computation |
151
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
151
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
168
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
154
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...
212
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...