3616 search results - page 246 / 724 » Conditional Memory Ordering |
153
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
164
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...
159
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
177
click to vote
ALP
1997
Springer
15 years 10 months ago
1997
Springer
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...
182
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...