7991 search results - page 1587 / 1599 » Using More Reasoning to Improve |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
A celebrated theorem of Savitch [Sav70] states that NSPACE(S) ⊆ DSPACE(S2 ). In particular, Savitch gave a deterministic algorithm to solve ST-CONNECTIVITY (an NL-complete probl...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
IJWBC
2010
14 years 8 months ago
2010
Learning Communities in healthcare is one approach in supporting practitioners and nurses to improve skills and knowledge and consequently support patients more efficiently. Web b...
ISCA
2010
IEEE
14 years 8 months ago
2010
IEEE
As the effective limits of frequency and instruction level parallelism have been reached, the strategy of microprocessor vendors has changed to increase the number of processing ...
PVLDB
2010
14 years 8 months ago
2010
Nowadays, due to the increased user requirements of the fast and reliable data management operation for mobile applications, major device vendors use embedded DBMS for their mobil...