4469 search results - page 582 / 894 » Dynamic Program Slicing |
170
click to vote
MP
2002
15 years 6 months ago
2002
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...
169
click to vote
TC
2002
15 years 6 months ago
2002
Web caching is an important technique for reducing Internet access latency, network traffic, and server load. This paper investigates cache management strategies for en-route web ...
165
click to vote
TCS
2010
15 years 5 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
237
click to vote
DLS
2009
15 years 4 months ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...
217
click to vote
ICWN
2009
15 years 4 months ago
2009
Abstract-- The next generation of computers will be embossed by ubiquitous systems. The computer will disappear behind daily artifacts and will support people in their everyday lif...