883 search results - page 67 / 177 » The RETOS operating system: kernel, tools and applications |
128
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
MM
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we present Chameleon—an application-level power management approach for reducing energy consumption in mobile processors. Our approach exports the entire responsi...
101
click to vote
JSS
2007
14 years 9 months ago
2007
Common coupling (sharing global variables across modules) is widely accepted as a measure of software quality and maintainability; a low level of common coupling is necessary (but...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...