4469 search results - page 152 / 894 » Dynamic Program Slicing |
140
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
128
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
It is well recognized that LRU cache-line replacement can be ineffective for applications with large working sets or non-localized memory access patterns. Specifically, in lastle...
129
click to vote
IPCO
2004
15 years 6 months ago
2004
Abstract. We propose a general methodology based on robust optimization to address the problem of optimally controlling a supply chain subject to stochastic demand in discrete time...
142
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
111
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...