4520 search results - page 168 / 904 » Algebraic Techniques for Timed Systems |
187
Voted
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
187
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
201
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
169
click to vote
DATE
2003
IEEE
16 years 11 days ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
192
click to vote
RTS
2010
15 years 5 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...