Sciweavers

21 search results - page 4 / 5
» Solving NP-Complete Problems Using P Systems with Active Mem...
Sort
View
ICDCS
2006
IEEE
14 years 9 days ago
Robust Accounting in Decentralized P2P Storage Systems
A peer-to-peer (P2P) storage system allows a network of peer computers to increase the availability of their data by replicating it on other peers in the network. In such networks...
Ivan Osipkov, Peng Wang, Nicholas Hopper
ISCA
2012
IEEE
281views Hardware» more  ISCA 2012»
11 years 8 months ago
LOT-ECC: Localized and tiered reliability mechanisms for commodity memory systems
Memory system reliability is a serious and growing concern in modern servers. Existing chipkill-level memory protection mechanisms suffer from several drawbacks. They activate a l...
Aniruddha N. Udipi, Naveen Muralimanohar, Rajeev B...
AGP
2003
IEEE
13 years 10 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
ISBI
2002
IEEE
14 years 7 months ago
Early detection of breast cancer using thermal texture maps
This paper focuses on the discussion of using thermal infrared imaging (TIR) in early detection of breast cancer. We use the term thermal texture maps to represent the images captu...
Hairong Qi, P. T. Kuruganti, Zhongqi Liu
SIAMSC
2008
147views more  SIAMSC 2008»
13 years 6 months ago
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
Michael P. Friedlander, Sven Leyffer