4520 search results - page 282 / 904 » Algebraic Techniques for Timed Systems |
202
click to vote
CDC
2009
IEEE
16 years 2 days ago
2009
IEEE
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...
218
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
195
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...
219
click to vote
FUIN
2006
15 years 7 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
230
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...