7557 search results - page 676 / 1512 » Modeling Timed Concurrent Systems |
208
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
163
click to vote
PATMOS
2004
Springer
16 years 17 days ago
2004
Springer
Synchronization between independently clocked regions in a high performance system is often subject to latencies of more than one clock cycle. We show how the latency can be reduce...
178
click to vote
VOSS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
226
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
229
click to vote
IMCSIT
2010
15 years 5 months ago
2010
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...