4520 search results - page 29 / 904 » Algebraic Techniques for Timed Systems |
102
click to vote
ADG
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
141
click to vote
AB
2007
Springer
15 years 8 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
113
click to vote
IDEAL
2007
Springer
15 years 7 months ago
2007
Springer
Clustering is used to generate groupings of data from a large dataset, with the intention of representing the behavior of a system as accurately as possible. In this sense, cluster...
108
click to vote
DAC
1995
ACM
15 years 5 months ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
166
click to vote
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper propose a channel estimation technique for multiple-input multiple-output (MIMO) - orthogonal frequency division multiplexing (OFDM) / time division multiple...