Sciweavers

6796 search results - page 385 / 1360
» Java for Embedded Systems
Sort
View
ICCSA
2010
Springer
15 years 2 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...
RTSS
2008
IEEE
15 years 11 months ago
Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks
Qing Cao, Debessay Fesehaye Kassa, Nam Pham, Yusuf...
AOSD
2007
ACM
15 years 8 months ago
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, W...
KBSE
2000
IEEE
15 years 9 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...