2108 search results - page 62 / 422 » An Operational Semantics for Stateflow |
JOCN
2010
14 years 8 months ago
2010
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
109
click to vote
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
110
click to vote
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
FOSSACS
2003
Springer
15 years 3 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
EDBT
2010
ACM
15 years 4 months ago
2010
ACM
The goal of data fusion is to combine several representations of one real world object into a single, consistent representation, e.g., in data integration. A very popular operator...