7452 search results - page 1376 / 1491 » A Semantics for Multiprocessor Systems |
152
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
109
click to vote
CATS
2008
15 years 5 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
153
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
Open Government Data initiatives in the US, UK and elsewhere have made large amounts of raw data available to the public on the Web. There is enormous potential in applying Linked...
135
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
Many government organizations publish a variety of data on the web to facilitate transparency. The multitude of sources has resulted in heterogeneous structures and formats as wel...
131
click to vote
LREC
2010
15 years 5 months ago
2010
The paper introduces the Multimodal Russian Corpus (MURCO), which has been created in the framework of the Russian National Corpus (RNC). The MURCO provides the users with the gre...