2141 search results - page 254 / 429 » Embedded Software |
215
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
158
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
We define and evaluate a framework for estimating the energy consumption of pervasive Java-based software systems. The framework's primary objective is to enable an engineer ...
166
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
158
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
183
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Networks-on-Chip (NoC) is emerging as a practical development platform for future systems-on-chip products. We propose an energyefficient static algorithm which optimizes the ener...