5343 search results - page 943 / 1069 » Keyword programming in java |
DAC
2010
ACM
15 years 2 months ago
2010
ACM
We study diagnosis of segments on speedpaths that fail the timing constraint at the post-silicon stage due to manufacturing variations. We propose a formal procedure that is appli...
138
click to vote
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Due to increase in demand for reconfigurability in embedded systems, real-time task scheduling is challenged by non-negligible reconfiguration overheads. If such overheads are n...
125
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
161
click to vote
SIGCSE
2010
ACM
15 years 2 months ago
2010
ACM
Internationalization of computer science education involves incorporating awareness, knowledge and skills of professional life in a global environment. Through an NSF CPATH grant1...