10707 search results - page 185 / 2142 » Designing executable abstractions |
114
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Automatic physical database design tools rely on "what-if" interfaces to the query optimizer to estimate the execution time of the training query workload under differen...
106
Voted
SCSC
2007
15 years 5 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
131
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
Effective security mechanisms are essential to the widespread deployment of pervasive systems. Much of the research focus on security in pervasive computing has revolved around dis...
126
Voted
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
123
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...