7452 search results - page 171 / 1491 » A Semantics for Multiprocessor Systems |
134
click to vote
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This article describes the addition to the von Neumann cellular automaton of the Tom Thumb Algorithm, a mechanism developed for the self-replication of multi-processor sy...
155
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
183
click to vote
APCCM
2009
15 years 5 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
112
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
125
click to vote
NRHM
2008
15 years 4 months ago
2008
In the same way that Wikis have become the mechanism that has enabled groups of users to collaborate on the production of hypertexts on the web, Semantic Wikis promise a future of...