32117 search results - page 5994 / 6424 » Design for Unanticipated Use.. |
174
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
180
click to vote
XPU
2005
Springer
16 years 7 days ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
176
Voted
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...
185
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
187
click to vote
ASSETS
2004
ACM
16 years 6 days ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...