2296 search results - page 71 / 460 » The Expressive Power of Synchronizations |
154
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents ReMAP, a reconfigurable architecture geared towards accelerating and parallelizing applications within a heterogeneous CMP. In ReMAP, threads share a common rec...
148
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
107
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...
246
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
124
Voted
ISSAC
1997
Springer
15 years 8 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...