899 search results - page 80 / 180 » A Temporal Language for SystemC |
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
119
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, ex...
231
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...
126
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...
131
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...