Sciweavers

2272 search results - page 445 / 455
» Validity Invariants and Effects
Sort
View
NA
2010
85views more  NA 2010»
13 years 5 months ago
The reliability/cost trade-off for a class of ODE solvers
In the numerical solution of ODEs, it is now possible to develop efficient techniques that will deliver approximate solutions that are piecewise polynomials. The resulting methods...
Wayne H. Enright, Li Yan
NOCS
2010
IEEE
13 years 5 months ago
Traffic- and Thermal-Aware Run-Time Thermal Management Scheme for 3D NoC Systems
—Three-dimensional network-on-chip (3D NoC), the combination of NoC and die-stacking 3D IC technology, is motivated to achieve lower latency, lower power consumption, and higher ...
Chih-Hao Chao, Kai-Yuan Jheng, Hao-Yu Wang, Jia-Ch...
PRL
2010
188views more  PRL 2010»
13 years 5 months ago
Sparsity preserving discriminant analysis for single training image face recognition
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...
Lishan Qiao, Songcan Chen, Xiaoyang Tan
PVLDB
2010
166views more  PVLDB 2010»
13 years 5 months ago
Towards Elastic Transactional Cloud Storage with Range Query Support
Cloud storage is an emerging infrastructure that offers Platforms as a Service (PaaS). On such platforms, storage and compute power are adjusted dynamically, and therefore it is i...
Hoang Tam Vo, Chun Chen, Beng Chin Ooi
TMC
2010
210views more  TMC 2010»
13 years 5 months ago
Exploiting Reactive Mobility for Collaborative Target Detection in Wireless Sensor Networks
—Recent years have witnessed the deployments of wireless sensor networks in a class of mission-critical applications such as object detection and tracking. These applications oft...
Rui Tan, Guoliang Xing, Jianping Wang, Hing-Cheung...