5550 search results - page 194 / 1110 » Different Approaches to Proof Systems |
356
click to vote
RTAS
2011
IEEE
14 years 10 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
151
click to vote
FUIN
2002
15 years 6 months ago
2002
We present a direct universal P system based on splicing. Our approach differs from those shown in previous papers as the P system we construct takes as input an encoding of anothe...
167
click to vote
AH
2006
Springer
16 years 15 days ago
2006
Springer
As applications evolve over time, it becomes increasingly desirable to be able to adapt a system, enabling it to handle situations in different ways and to handle new situations. W...
173
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
137
click to vote
COLCOM
2005
IEEE
16 years 4 days ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...