271 search results - page 30 / 55 » The lattice of embedded subsets |
144
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
In this paper we present JaMP, an adaptation of the OpenMP standard. JaMP is fitted to Jackal, a software-based DSM implementation for Java. While the set of supported directives...
176
click to vote
TCS
2008
15 years 6 months ago
2008
It was proved few years ago that classes of Boolean functions definable by means of functional equations [9], or equivalently, by means of relational constraints [16], coincide wit...
209
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
176
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
In order to embed a watermark into a binary document image, some subset of image pixels needs to be modified. This modification will cause a document image distortion. Careful sel...