Sciweavers

2210 search results - page 76 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 2 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
PERCOM
2010
ACM
14 years 9 months ago
Web services on embedded systems - a performance study
Abstract—A platform-independent communication mechanism is essential for the seamless integration of embedded devices into the Web of Things. Web services provide for such commun...
Christin Groba, Siobhán Clarke
EUSAI
2004
Springer
15 years 4 months ago
Modelling Context: An Activity Theory Approach
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
Manasawee Kaenampornpan, Eamonn O'Neill
ETFA
2008
IEEE
15 years 5 months ago
Pinpointing interrupts in embedded real-time systems using context checksums
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
Daniel Sundmark, Henrik Thane
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
15 years 8 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha