5186 search results - page 639 / 1038 » Embedded Systems |
189
Voted
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
Cars are ubiquitous and offer large and often highly visible surfaces that can be used as advertising space. Until now, advertising in this domain has focused on commercial vehicle...
208
Voted
FAST
2011
14 years 10 months ago
2011
This work analyzes the stochastic behavior of writing to embedded flash memory at voltages lower than recommended by a microcontroller’s specifications to reduce energy consum...
199
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
167
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
163
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...