Sciweavers

1182 search results - page 159 / 237
» Reducing the Overhead of Dynamic Analysis
Sort
View
AICCSA
2008
IEEE
209views Hardware» more  AICCSA 2008»
13 years 10 months ago
Transistor-level based defect tolerance for reliable nanoelectronics
Nanodevices based circuit design will be based on the acceptance that a high percentage of devices in the design will be defective. In this work, we investigate a defect tolerant ...
Aiman H. El-Maleh, Bashir M. Al-Hashimi, Aissa Mel...
AIEDU
2008
174views more  AIEDU 2008»
13 years 9 months ago
Automatic Extraction of Pedagogic Metadata from Learning Content
Annotating learning material with metadata allows easy reusability by different learning/tutoring systems. Several metadata standards have been developed to represent learning obje...
Devshri Roy, Sudeshna Sarkar, Sujoy Ghose
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...
ICDCS
2011
IEEE
12 years 8 months ago
LR-Seluge: Loss-Resilient and Secure Code Dissemination in Wireless Sensor Networks
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...
Rui Zhang 0007, Yanchao Zhang
ICDE
2008
IEEE
100views Database» more  ICDE 2008»
14 years 10 months ago
Mobile Filter: Exploring Migration of Filters for Error-Bounded Data Collection in Sensor Networks
In wireless sensor networks, filters, which suppress data update reports within predefined error bounds, effectively reduce the traffic volume for continuous data collection. All p...
Dan Wang, Jianliang Xu, Jiangchuan Liu, Feng Wang