7452 search results - page 162 / 1491 » A Semantics for Multiprocessor Systems |
158
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
139
click to vote
WISE
2009
Springer
15 years 10 months ago
2009
Springer
Semantic wikis have opened an interesting way to mix Web 2.0 advantages with the Semantic Web approach. However, compared to other collaborative tools, wikis do not support all col...
134
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
149
click to vote
ENTCS
2008
15 years 4 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
122
click to vote
FORTE
2001
15 years 5 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...