452 search results - page 3 / 91 » Predicative semantics of loops |
FAC
2010
13 years 5 months ago
2010
MICRO
2006
IEEE
13 years 7 months ago
2006
IEEE
Wish branches, a new class of control-flow instructions, allow the hardware to dynamically decide whether or not to use predicated execution for a dynamic branch instruction. The ...
FLAIRS
2008
13 years 10 months ago
2008
This paper shows that semantic role labeling is a consequence of accurate verbal predicate labeling. In doing so, the paper presents a novel type of semantic feature for verbal pr...
ECOOP
1998
Springer
13 years 12 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
ESOP
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...