7452 search results - page 186 / 1491 » A Semantics for Multiprocessor Systems |
124
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
123
Voted
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
154
click to vote
WECWIS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present ISENS, a distributed, end-to-end, ontologybased information integration system. In response to a user’s query, our system is capable of retrieving facts from data sou...
103
Voted
WIKIS
2009
ACM
15 years 10 months ago
2009
ACM
The work presented in the poster describes our collaborative approach to managing systems monitoring information in a Semantic Wiki. This allows to extend the applicability of man...
127
click to vote
WIDM
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we describe a prototype system for information retrieval on the Internet. Our idea is that the Web has to be searched both semantically and syntactically. In order t...