4520 search results - page 9 / 904 » Algebraic Techniques for Timed Systems |
105
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
—Design of Space-Time Block Codes (STBCs) for Maximum Likelihood (ML) reception has been predominantly the main focus of researchers. However, the ML decoding complexity of STBCs...
116
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
118
click to vote
ISOLA
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
119
Voted
FASE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
122
click to vote
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...