811 search results - page 78 / 163 » Probabilistic Semantics and Program Analysis |
152
click to vote
SAFECOMP
2007
Springer
16 years 8 days ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
169
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
204
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
174
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
156
click to vote
CODES
2008
IEEE
16 years 19 days ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...