1711 search results - page 235 / 343 » Completing pseudojump operators |
163
click to vote
VEE
2009
ACM
16 years 10 days ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...
138
click to vote
BIRTHDAY
2009
Springer
16 years 10 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
159
click to vote
CTRSA
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
149
click to vote
ICS
2009
Tsinghua U.
16 years 9 days ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
170
click to vote
HPDC
2009
IEEE
16 years 8 days ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...