12084 search results - page 208 / 2417 » Effect Systems with Subtyping |
230
Voted
CF
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we describe a new technique, called pipeline spectroscopy, and use it to measure the cost of each cache miss. The cost of a miss is displayed (graphed) as a histogra...
271
click to vote
MKWI
2008
15 years 8 months ago
2008
Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
191
click to vote
SNPD
2008
15 years 8 months ago
2008
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
192
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
211
click to vote
IPM
2007
15 years 7 months ago
2007
Interactive query expansion (IQE) (c.f. Efthimiadis, 1996) is a potentially useful technique to help searchers formulate improved query statements, and ultimately retrieve better ...