20126 search results - page 118 / 4026 » Timed Transition Systems |
132
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Designing an energy efficient power gating structure is an important and challenging task in Multi-Threshold CMOS (MTCMOS) circuit design. In order to achieve a very low power des...
138
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
109
Voted
ACRI
2006
Springer
15 years 9 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
147
click to vote
CSCW
1992
ACM
15 years 7 months ago
1992
ACM
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...
136
Voted
FAC
2010
15 years 1 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...