2940 search results - page 428 / 588 » Relational Parametricity and Control |
158
click to vote
MEMOCODE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
136
click to vote
MICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents and studies a distributed L2 cache management approach through OS-level page allocation for future many-core processors. L2 cache management is a crucial multi...
141
click to vote
ROBIO
2006
IEEE
15 years 11 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
162
click to vote
RTAS
2006
IEEE
15 years 11 months ago
2006
IEEE
Real-time media servers are becoming increasingly important as the Internet supports more and more multimedia applications. In order to meet these ever increasing demands, real-ti...
149
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...