Sciweavers

3516 search results - page 370 / 704
» Programming Languages: Application and Interpretation
Sort
View
PLDI
2006
ACM
16 years 22 days ago
Practical dynamic software updating for C
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, M...
ICS
2000
Tsinghua U.
15 years 10 months ago
Using complete system simulation to characterize SPECjvm98 benchmarks
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
Tao Li, Lizy Kurian John, Narayanan Vijaykrishnan,...
DSD
2008
IEEE
165views Hardware» more  DSD 2008»
16 years 1 months ago
Application Analysis for Parallel Processing
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
Muhammad Rashid, Damien Picard, Bernard Pottier
FM
2009
Springer
124views Formal Methods» more  FM 2009»
16 years 1 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
EUROPAR
2005
Springer
16 years 9 days ago
Performance Cockpit: An Extensible GUI Platform for Performance Tools
Within the EP-Cache project, the Performance Cockpit has been developed to provide a unified GUI for a series of performance tools. This is achieved through the establishment of a...
Tianchao Li, Michael Gerndt