Sciweavers

2826 search results - page 305 / 566
» A resource-based analysis of IT sourcing
Sort
View
INFOCOM
2002
IEEE
15 years 11 months ago
On the scalability of ad hoc routing protocols
— A novel framework is presented for the study of scalability in ad hoc networks. Using this framework, the first asymptotic analysis is provided with respect to network size, m...
Cesar A. Santivanez, A. Bruce McDonald, Ioannis St...
IDA
1999
Springer
15 years 11 months ago
Knowledge-Based Visualization to Support Spatial Data Mining
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
Gennady L. Andrienko, Natalia V. Andrienko
RANDOM
1997
Springer
15 years 11 months ago
A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem
The current proof of the PCP Theorem (i.e., NP = PCP(log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we r...
Oded Goldreich, Shmuel Safra
ICSE
1994
IEEE-ACM
15 years 10 months ago
TestTube: A System for Selective Regression Testing
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
Yih-Farn Chen, David S. Rosenblum, Kiem-Phong Vo
PEPM
1994
ACM
15 years 10 months ago
The Essence of Eta-Expansion in Partial Evaluation
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
Olivier Danvy, Karoline Malmkjær, Jens Palsb...