Sciweavers

15416 search results - page 137 / 3084
» Embeddings of Computable Structures
Sort
View
119
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
Verifying Emulation of Legacy Mission Computer Systems
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...
Colin J. Fidge
143
Voted
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
15 years 8 months ago
An Object Oriented Design Method for Reconfigurable Computing Systems
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
Martyn Edwards, Peter Green
RTCSA
1999
IEEE
15 years 8 months ago
Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments
Data Broadcast in mobile environments has received much attention in recent years and a large number of algorithms proposed. However, existing work in the literature only assume a ...
Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam
SEUS
2010
IEEE
15 years 2 months ago
Time-Predictable Computing
Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the communit...
Raimund Kirner, Peter P. Puschner
RECONFIG
2008
IEEE
122views VLSI» more  RECONFIG 2008»
15 years 10 months ago
Embedded Harmonic Control for Trajectory Planning in Large Environments
This paper presents an embedded FPGA–based architecture to compute navigation trajectories along a harmonic potential. The goals and obstacles may be changed during computation....
Cesar Torres-Huitzil, Bernard Girau, Amine M. Boum...