10182 search results - page 396 / 2037 » Case Studies |
212
click to vote
PDP
2005
IEEE
16 years 13 days ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
149
click to vote
CISIS
2010
IEEE
16 years 5 days ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
178
click to vote
ISSRE
2003
IEEE
16 years 3 days ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
161
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
We present an indoor wireless localization system that is capable of room-level localization based solely on 802.11 network signal strengths and usersupplied training data. Our sys...
196
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...