9049 search results - page 1560 / 1810 » The New C Standard |
159
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
212
click to vote
TOG
2012
13 years 9 months ago
2012
We present a physically-based system to simulate and control the locomotion of soft body characters without skeletons. We use the finite element method to simulate the deformatio...
263
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Active range acquisition systems such as light detection and ranging (LIDAR) and time-of-flight (TOF) cameras achieve high depth resolution but suffer from poor spatial resolutio...
181
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
172
click to vote
MOBICOM
2004
ACM
16 years 3 days ago
2004
ACM
Wireless Local Area Networks (WLANs) are now commonplace on many academic and corporate campuses. As “Wi-Fi” technology becomes ubiquitous, it is increasingly important to und...