Sciweavers

2141 search results - page 199 / 429
» Embedded Software
Sort
View
WWW
2005
ACM
16 years 5 months ago
An environment for collaborative content acquisition and editing by coordinated ubiquitous devices
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
Yutaka Kidawara, Tomoyuki Uchiyama, Katsumi Tanaka
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 10 months ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...
CASES
2003
ACM
15 years 10 months ago
Frequent loop detection using efficient non-intrusive on-chip hardware
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
Ann Gordon-Ross, Frank Vahid
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 10 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
IWPC
2002
IEEE
15 years 10 months ago
An Open Visualization Toolkit for Reverse Architecting
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
Alexandru Telea, Alessandro Maccari, Claudio Riva