Sciweavers

1646 search results - page 251 / 330
» Inlining of Virtual Methods
Sort
View
ICIP
2009
IEEE
13 years 6 months ago
Improving the quality of depth image based rendering for 3D Video systems
In 3D Video (3DV) applications, a reduced number of views plus depth maps are transmitted or stored. When there is a need to render virtual views in between the actual views, the ...
Zefeng Ni, Dong Tian, Sitaram Bhagavathy, Joan Lla...
JOC
2010
92views more  JOC 2010»
13 years 3 months ago
Efficient Cache Attacks on AES, and Countermeasures
We describe several software side-channel attacks based on inter-process leakage through the state of the CPU's memory cache. This leakage reveals memory access patterns, whic...
Eran Tromer, Dag Arne Osvik, Adi Shamir
VRIPHYS
2010
13 years 3 months ago
A Triangle Bending Constraint Model for Position-Based Dynamics
We present a novel bending model and constraint creation method for position-based dynamics. Our new bending model is introduced as an alternative to the current state-of-the-art ...
Micky Kelager, Sarah Niebe, Kenny Erleben
CORR
2011
Springer
124views Education» more  CORR 2011»
13 years 3 months ago
Parallel Recursive State Compression for Free
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
FORTE
2011
13 years 8 days ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...