1264 search results - page 7 / 253 » Towards Theory Translation |
ECEASST
2006
13 years 7 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...
WISE
2002
Springer
14 years 13 days ago
2002
Springer
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...
CONCURRENCY
2010
13 years 7 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
JSAI
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...