2227 search results - page 153 / 446 » Reversibility and Models for Concurrency |
163
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
167
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Robust lossless data hiding (LDH) methods have attracted more and more attentions for copyright protection of multimedia in lossy environment. One of the important requirements of...
166
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
154
click to vote
PDP
2007
IEEE
16 years 11 days ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
151
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...