1287 search results - page 34 / 258 » Reduction of Timed Hybrid Systems |
ASPDAC
2005
ACM
15 years 1 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
ISVLSI
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents the low power implementation of a Maximum Likelihood (ML) based detector used in the receiver part of a Multiple Input and Multiple Output (MIMO) systems. Low ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tracta...
HYBRID
1995
Springer
15 years 3 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
119
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we consider hybrid peer-to-peer systems where users form an unstructured peer-to-peer network with the purpose of assisting a server in the distribution of data. We...