2726 search results - page 513 / 546 » Application security support in the operating system kernel |
136
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
139
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
106
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
We describe a technique that supports the previewing of navigation, exploration, and editing operations by providing convenient Undo for unsuccessful and/or undesirable actions on...
130
Voted
EUROSYS
2007
ACM
16 years 21 days ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
141
Voted
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...