2607 search results - page 501 / 522 » On the Architecture of System Verification Environments |
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
ISM
2008
IEEE
14 years 1 months ago
2008
IEEE
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
EUC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
The address sequence on the processor-memory bus can reveal abundant information about the control flow of a program. This can lead to critical information leakage such as encryp...
ICICS
2005
Springer
14 years 25 days ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...