5235 search results - page 868 / 1047 » Analysis of Multithreaded Programs |
207
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
166
click to vote
MODELS
2009
Springer
16 years 28 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
198
click to vote
IISWC
2008
IEEE
16 years 24 days ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
187
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
169
click to vote
IISWC
2006
IEEE
16 years 13 days ago
2006
IEEE
— As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...