2875 search results - page 438 / 575 » Using separation of concerns for embedded systems design |
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
—Ben Clacy and Brian Jennings presented their recently published paper with the title of “service management: driving the future of IT” [1], which highlighted service oriente...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequencyscalable pro...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
With the scaling of technology, transient errors caused by external particle strikes have become a critical challenge for microprocessor design. As embedded processors are widely ...
209
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....