3395 search results - page 299 / 679 » Designs, Disputes and Strategies |
162
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
156
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Modern smartphones contain sophisticated sensors to monitor three-dimensional movement of the device. These sensors permit devices to recognize motion gestures— deliberate movem...
166
click to vote
EWC
2011
14 years 10 months ago
2011
1 Most engineering artifacts are designed and analyzed2 today within a 3-D computer aided design (CAD)3 environment. However, slender objects such as beams are4 designed in a 3-D e...
204
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Using device write buffers is a promising technique to improve the write performance of solid-state disks. The write buffer not only reduces the write traffic to the flash but als...
187
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...