3146 search results - page 277 / 630 » The use of compiler optimizations for embedded systems softw... |
153
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
128
click to vote
ISCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
155
click to vote
HPCC
2007
Springer
16 years 22 days ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
165
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
332
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...