7429 search results - page 489 / 1486 » Embedded System Update |
136
click to vote
EATCS
2002
15 years 6 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
256
click to vote
Book
"This book originally accompanied a 2-day course on using the LATEX typesetting system. It has been extensively revised and updated and can now be used for self-study or in th...
188
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
210
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
161
click to vote
MOBIQUITOUS
2005
IEEE
16 years 15 days ago
2005
IEEE
We propose a platform for health monitoring using wireless sensor networks. Our platform is a new architecture called CustoMed that will reduce the customization and reconfigurat...