927 search results - page 150 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
150
Voted
CORR
2004
Springer
15 years 11 days ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
114
click to vote
CGO
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...
133
click to vote
NLDB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...
113
Voted
CP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
106
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...