1059 search results - page 117 / 212 » Time-triggered implementations of dynamic controllers |
MIPS
2004
Springer
14 years 4 months ago
2004
Springer
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...
RTSS
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
ISLPED
1996
ACM
14 years 3 months ago
1996
ACM
- This paper investigates substrate noise influence on circuit performance in a variable thresholdvoltage scheme (VT scheme) where threshold voltage is dynamically varied by substr...
SPIN
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...