1287 search results - page 51 / 258 » Reduction of Timed Hybrid Systems |
143
click to vote
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
15 years 4 months ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
131
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
154
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Static resources allocation problems have been widely studied. More recently some of this attention has changed to focus on dynamic problems, where problem specifications, con...
194
click to vote
ICS
2011
Tsinghua U.
14 years 7 months ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
134
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...