78 search results - page 4 / 16 » Automatic generation of path conditions for concurrent timed... |
DSD
2006
IEEE
13 years 11 months ago
2006
IEEE
The rising complexity, customization and short time to market of modern digital systems requires automatic methods for generation of high performance architectures for such system...
IROS
2009
IEEE
14 years 12 days ago
2009
IEEE
– This paper presents a predictive gain scheduler for path tracking control in a networked control system with variable delay. The controller uses the plant model to predict futu...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
CONCURRENCY
2007
13 years 5 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...