Sciweavers

919 search results - page 145 / 184
» A Practical Model for Measuring Maintainability
Sort
View
ALT
2006
Springer
15 years 10 months ago
Active Learning in the Non-realizable Case
Most of the existing active learning algorithms are based on the realizability assumption: The learner’s hypothesis class is assumed to contain a target function that perfectly c...
Matti Kääriäinen
INFOCOM
2008
IEEE
15 years 7 months ago
Robust Planarization of Unlocalized Wireless Sensor Networks
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...
Fenghui Zhang, Anxiao Jiang, Jianer Chen
SPIN
2010
Springer
14 years 11 months ago
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric

Presentation
609views
17 years 1 days ago
Bus transit service planning and operations in a competitive environment
Transit services are currently facing several challenges in the United States and around the world. For many reasons, among which the fluctuations in gas prices and the state of t...
A. M. El-Geneidy, J. Hourdos, J. Horning
IISWC
2008
IEEE
15 years 7 months ago
Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
Clay Hughes, Tao Li