2573 search results - page 446 / 515 » Combinations of Modal Logics |
144
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
113
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
138
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
144
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
154
click to vote
ANCS
2006
ACM
15 years 10 months ago
2006
ACM
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...