20126 search results - page 267 / 4026 » Timed Transition Systems |
148
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
128
Voted
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We study integrated prefetching and caching problems following the work of Cao et. al. [3] and Kimbrel and Karlin [13]. Cao et. al. and Kimbrel and Karlin gave approximation algor...
163
Voted
TC
2002
15 years 4 months ago
2002
150
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper proposes a novel discretetime veloc ity observer which uses neural network and sliding mode for unknown continuous time mechanical systems. The neural observer i...
136
Voted
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...