57 search results - page 6 / 12 » Composing Invariants |
CVPR
2004
IEEE
14 years 8 months ago
2004
IEEE
Making decisions based on a linear combination L of features is of course very common in pattern recognition. For distinguishing between two hypotheses or classes, the test is of ...
FMCAD
2007
Springer
14 years 26 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
ICPP
2002
IEEE
13 years 11 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
FOAL
2007
ACM
13 years 10 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
AADEBUG
2005
Springer
13 years 8 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...