4520 search results - page 329 / 904 » Algebraic Techniques for Timed Systems |
175
click to vote
ISWC
2003
IEEE
16 years 23 days ago
2003
IEEE
This paper describes a wearable augmented reality system using positioning infrastructures and a pedometer. To realize augmented reality systems, the position and orientation of u...
210
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
240
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
181
click to vote
MDM
2005
Springer
16 years 29 days ago
2005
Springer
We propose in this paper an energy-conserved on-demand data broadcasting system by employing the data indexing technique. We also propose algorithm AIDOA to adjust the degree of b...
188
Voted
FM
2003
Springer
16 years 21 days ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...