20126 search results - page 387 / 4026 » Timed Transition Systems |
187
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents the implementation of a dualpriority scheduling algorithm for real-time embedded systems on a shared memory multiprocessor on FPGA. The dual-priority microkern...
210
Voted
ISCAPDCS
2008
15 years 8 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
171
click to vote
MVA
2000
15 years 8 months ago
2000
In this paper, we propose a method of estimating camera parameters for annotating 3D virtual objects with a wearable vision system. The proposed method tracks natural feature poin...
156
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
184
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...