Computer Science

Filter
Conference contribution

Search results

  • 2015

    A framework for extending contact opportunities in Delay-and Disruption-Tolerant Networks

    Yasmeen, F., Huda, N., Nguyen, U. T., Yamada, S. & Borcea, C., Sep 8 2015, 2015 IEEE International Conference on Communication Workshop, ICCW 2015. Institute of Electrical and Electronics Engineers Inc., p. 1551-1556 6 p. 7247400. (2015 IEEE International Conference on Communication Workshop, ICCW 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Algorithmic detection of inconsistent modeling among SNOMED CT concepts by combining lexical and structural indicators

    Agrawal, A., Perl, Y., Ochs, C. & Elhanan, G., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 476-483 8 p. 7359731. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations

  • Alien vs. Mobile user game: Fast and efficient area coverage in crowdsensing

    Talasila, M., Curtmola, R. & Borcea, C., Jan 28 2015, Proceedings of the 2014 6th International Conference on Mobile Computing, Applications and Services, MobiCASE 2014. Institute of Electrical and Electronics Engineers Inc., p. 65-74 10 p. 7026279. (Proceedings of the 2014 6th International Conference on Mobile Computing, Applications and Services, MobiCASE 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • An end-to-end security architecture to collect, process and share wearable medical device data

    Rohloff, K. & Polyakov, Y., 2015, 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., p. 615-620 6 p. 7454578. (2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • A novel locally linear KNN model for visual recognition

    Liu, Q. & Liu, C., Oct 14 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, p. 1329-1337 9 p. 7298738. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 07-12-June-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    28 Scopus citations

  • Auditing of SNOMED CT's Hierarchical Structure using the National Drug File - Reference Terminology

    Zakharchenko, A. & Geller, J., Jan 1 2015, Digital Healthcare Empowering Europeans - Proceedings of MIE 2015. Cornet, R., Stoicu-Tivadar, L., Cornet, R., Parra Calderon, C. L., Andersen, S. K., Horbst, A. & Hercigonja-Szekeres, M. (eds.). IOS Press, p. 130-134 5 p. (Studies in Health Technology and Informatics; vol. 210).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Avatar: Mobile distributed computing in the cloud

    Borcea, C., Ding, X., Gehani, N., Curtmola, R., Khan, M. A. & Debnath, H., Jun 22 2015, Proceedings - 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015. Institute of Electrical and Electronics Engineers Inc., p. 151-156 6 p. 7130880. (Proceedings - 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    29 Scopus citations

  • Collaborative and trajectory prediction models of medical conditions by mining patients' Social Data

    Ji, X., Chun, S. A., Geller, J. & Oria, V., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 695-700 6 p. 7359771. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Computing attributes of software architectures: A static method and its validation

    Derbel, I., Jilani, L. L. & Mili, A., Jan 1 2015, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Filipe, J., Filipe, J., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 55-66 12 p. (ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Constructing confidence intervals for a quantile using batching and sectioning when applying Latin hypercube sampling

    Dong, H. & Nakayama, M. K., Jan 23 2015, Proceedings of the 2014 Winter Simulation Conference, WSC 2014. Tolk, A., Yilmaz, L., Diallo, S. Y. & Ryzhov, I. O. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 640-651 12 p. 7019928. (Proceedings - Winter Simulation Conference; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Correctness and Relative Correctness

    Diallo, N., Ghardallou, W. & Mili, A., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 591-594 4 p. 7203020. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Cross-validation and cross-study validation of chronic lymphocytic leukemia with exome sequences and machine learning

    Patel, N., Jhadav, B., Aljouie, A. & Roshan, U., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1367-1374 8 p. 7359878. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Flexible aggregate similarity search in high-dimensional data sets

    Houle, M. E., Ma, X. & Oria, V., 2015, Similarity Search and Applications - 8th International Conference, SISAP 2015, Proceedings. Connor, R., Amato, G., Falchi, F. & Gennaro, C. (eds.). Springer Verlag, p. 15-28 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9371).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Gene ontology summarization to support visualization and quality assurance

    Ochs, C., Perl, Y., Halper, M., Geller, J. & Lomax, J., 2015, Proceedings of the 7th International Conference on Bioinformatics and Computational Biology, BICOB 2015. Haspel, N. & Saeed, F. (eds.). The International Society for Computers and Their Applications (ISCA), p. 167-174 8 p. (Proceedings of the 7th International Conference on Bioinformatics and Computational Biology, BICOB 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Identifying pairs of terms with strong semantic connections in a textbook index

    Geller, J., Klein, S. T. & Polyakov, Y., 2015, KEOD. Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 307-315 9 p. (IC3K 2015 - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Incorporating cohesiveness into keyword search on linked data

    Dass, A., Dimitriou, A., Aksoy, C. & Theodoratos, D., Jan 1 2015, Web Information Systems Engineering – WISE 2015 - 16th International Conference, Proceedings. Cellary, W., Wang, D., Wang, J., Chen, S-C., Li, T., Wang, H. & Zhang, Y. (eds.). Springer Verlag, p. 47-62 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9419).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Inheritable Fisher vector feature for kinship verification

    Liu, Q., Puthenputhussery, A. & Liu, C., Dec 16 2015, 2015 IEEE 7th International Conference on Biometrics Theory, Applications and Systems, BTAS 2015. Institute of Electrical and Electronics Engineers Inc., 7358768

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    39 Scopus citations

  • Keyword pattern graph relaxation for selective result space expansion on linked data

    Dass, A., Aksoy, C., Dimitriou, A. & Theodoratos, D., 2015, Engineering the Web in the Big Data Era - 15th International Conference, ICWE 2015, Proceedings. Frasincar, F., Houben, G-J., Cimiano, P. & Schwabe, D. (eds.). Springer Verlag, p. 287-306 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9114).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Learning the discriminative dictionary for sparse representation by a general fisher regularized model

    Liu, Q., Puthenputhussery, A. & Liu, C., Dec 9 2015, 2015 IEEE International Conference on Image Processing, ICIP 2015 - Proceedings. IEEE Computer Society, p. 4347-4351 5 p. 7351627. (Proceedings - International Conference on Image Processing, ICIP; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Leveraging homomorphisms and bitmaps to enable the mining of embedded patterns from large data trees

    Wu, X. & Theodoratos, D., 2015, Database Systems for Advanced Applications - 20th International Conference, DASFAA 2015, Proceedings Hanoi, Vietnam, April 20-23, 2015 Proceedings, Part I. Shahabi, C., Cheema, M. A., Renz, M. & Zhou, X. (eds.). Springer Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9049).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Leveraging social data for health care behavior analytics

    Ji, X., Cappellari, P., Chun, S. A. & Geller, J., 2015, Engineering the Web in the Big Data Era - 15th International Conference, ICWE 2015, Proceedings. Frasincar, F., Houben, G-J., Cimiano, P. & Schwabe, D. (eds.). Springer Verlag, p. 667-670 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9114).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • MobiStore: Achieving availability and load balance in a mobile P2P data store

    Khan, M. A., Yeh, L., Zeitouni, K. & Borcea, C., Jan 28 2015, Proceedings of the 2014 6th International Conference on Mobile Computing, Applications and Services, MobiCASE 2014. Institute of Electrical and Electronics Engineers Inc., p. 171-172 2 p. 7026295. (Proceedings of the 2014 6th International Conference on Mobile Computing, Applications and Services, MobiCASE 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Novel general KNN classifier and general nearest mean classifier for visual classification

    Liu, Q., Puthenputhussery, A. & Liu, C., Dec 9 2015, 2015 IEEE International Conference on Image Processing, ICIP 2015 - Proceedings. IEEE Computer Society, p. 1810-1814 5 p. 7351113. (Proceedings - International Conference on Image Processing, ICIP; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • On periodic scheduling of fixed-slot bandwidth reservations for big data transfer

    Wang, Y., Wu, C. Q., Hou, A., Peng, W., Xu, S. & Shi, M., Dec 24 2015, Proceedings of the 40th Annual IEEE Conference on Local Computer Networks, LCN 2015. Kanhere, S., Tolle, J. & Cherkaoui, S. (eds.). IEEE Computer Society, p. 587-594 8 p. 7366374. (Proceedings - Conference on Local Computer Networks, LCN; vol. 26-29-October-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Pathway-finder: An interactive recommender system for supporting personalized care pathways

    Liu, R., Srinivasan, R. V., Zolfaghar, K., Chin, S. C., Roy, S. B., Hasan, A. & Hazel, D., Jan 26 2015, Proceedings - 14th IEEE International Conference on Data Mining Workshops, ICDMW 2014. Zhou, Z-H., Wang, W., Kumar, R., Toivonen, H., Pei, J., Zhexue Huang, J. & Wu, X. (eds.). January ed. IEEE Computer Society, p. 1219-1222 4 p. 7022738. (IEEE International Conference on Data Mining Workshops, ICDMW; vol. 2015-January, no. January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Quantile estimation using a combination of stratified sampling and control variates

    Nakayama, M. K., 2015, Industrial Engineering, Management Science and Applications 2015. Kim, K. J., Gen, M., Hiroshi, Y. & Huang, X. (eds.). Springer Verlag, p. 105-114 10 p. (Lecture Notes in Electrical Engineering; vol. 349).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Quanttifying safety margin using the risk-informed safety margin characterization (RISMC)

    Grabaskas, D., Bucknor, M., Brunett, A. & Nakayama, M., 2015, International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015. American Nuclear Society, p. 728-735 8 p. (International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Relational mathematics for relative correctness

    Desharnais, J., Diallo, N., Ghardallou, W., Frias, M. F., Jaoua, A. & Mili, A., 2015, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Proceedings. Kahl, W., Winter, M. & Oliveira, J. N. (eds.). Springer Verlag, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9348).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Themis: A participatory navigation system for balanced traffic routing

    Liu, R., Liu, H., Kwak, D., Xiang, Y., Borcea, C., Nath, B. & Iftode, L., Jan 16 2015, 2014 IEEE Vehicular Networking Conference, VNC 2014. Dressler, F., Altintas, O., Banerjee, S., Scheuermann, B. & Eckhoff, D. (eds.). January ed. IEEE Computer Society, p. 159-166 8 p. 7013335. (IEEE Vehicular Networking Conference, VNC; vol. 2015-January, no. January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • Towards server-side repair for erasure coding-based distributed storage systems

    Chen, B., Ammula, A. K. & Curtmola, R., Mar 2 2015, CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, p. 281-288 8 p. (CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Using aggregate taxonomies to summarize SNOMED CT evolution

    Ochs, C., Perl, Y., Geller, J. & Musen, M., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1008-1015 8 p. 7359822. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Viewability prediction for online display ads

    Wang, C., Kalra, A., Borcea, C. & Chen, Y., Oct 17 2015, CIKM 2015 - Proceedings of the 24th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 413-422 10 p. (International Conference on Information and Knowledge Management, Proceedings; vol. 19-23-Oct-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations

  • WAHC 2015: Third workshop on encrypted computing and applied homomorphic cryptography

    Brenner, M. & Rohloff, K., 2015, Financial Cryptography and Data Security - FC 2015 International Workshops BITCOIN, WAHC, and Wearable, Revised Selected Papers. Christin, N., Rohloff, K., Brenner, M., Christin, N., Brenner, M., Johnson, B., Johnson, B. & Rohloff, K. (eds.). Springer Verlag, p. VII (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8976).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2014

    Accelerating NTRU based homomorphic encryption using GPUs

    Dai, W., Doroz, Y. & Sunar, B., Feb 11 2014, 2014 IEEE High Performance Extreme Computing Conference, HPEC 2014. Institute of Electrical and Electronics Engineers Inc., 7041001. (2014 IEEE High Performance Extreme Computing Conference, HPEC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    39 Scopus citations

  • A collaborative filtering approach to assess individual condition risk based on patients' social network data

    Ji, X., Chun, S. A. & Geller, J., Sep 20 2014, ACM BCB 2014 - 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 639-640 2 p. (ACM BCB 2014 - 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • A Framework to Recommend Interventions for 30-Day Heart Failure Readmission Risk

    Liu, R., Zolfaghar, K., Chin, S. C., Roy, S. B. & Teredesai, A., Jan 1 2014, Proceedings - 14th IEEE International Conference on Data Mining, ICDM 2014. Kumar, R., Toivonen, H., Pei, J., Zhexue Huang, J. & Wu, X. (eds.). January ed. Institute of Electrical and Electronics Engineers Inc., p. 911-916 6 p. 7023422. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2015-January, no. January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • A hybrid approach to developing a cyber security ontology

    Geller, J., Ae Chun, S. & Wali, A., 2014, DATA 2014 - Proceedings of 3rd International Conference on Data Management Technologies and Applications. Helfert, M., Holzinger, A., Belo, O. & Francalanci, C. (eds.). SciTePress, p. 377-384 8 p. (DATA 2014 - Proceedings of 3rd International Conference on Data Management Technologies and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    6 Scopus citations

  • A new locally linear KNN method with an improved marginal Fisher analysis for image classification

    Liu, Q. & Liu, C., Dec 23 2014, IJCB 2014 - 2014 IEEE/IAPR International Joint Conference on Biometrics. Institute of Electrical and Electronics Engineers Inc., 6996288. (IJCB 2014 - 2014 IEEE/IAPR International Joint Conference on Biometrics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • ARPP: An augmented reality 3D ping-pong game system on Android mobile platform

    Gao, X., Tian, J., Liang, X. & Wang, G., 2014, 2014 23rd Wireless and Optical Communication Conference, WOCC 2014. IEEE Computer Society, 6839917. (2014 23rd Wireless and Optical Communication Conference, WOCC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Automated quantitative attributes prediction from architectural description language

    Derbel, I., Jilani, L. L. & Mili, A., 2014, ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends. Holzinger, A., Cardoso, J., Cardoso, J., Cordeiro, J., Cordeiro, J., van Sinderen, M. & Mellor, S. (eds.). SciTePress, p. 87-94 8 p. (ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Bandwidth efficient PIR from NTRU

    Doröz, Y., Sunar, B. & Hammouri, G., 2014, Financial Cryptography and Data Security - FC 2014 Workshops, BITCOIN and WAHC 2014, Revised Selected Papers. Brenner, M., Smith, M., Böhme, R. & Moore, T. (eds.). Springer Verlag, p. 195-207 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8438).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Scopus citations

  • Clustering query results to support keyword search on tree data

    Aksoy, C., Dass, A., Theodoratos, D. & Wu, X., Jan 1 2014, Web-Age Information Management - 15th International Conference, WAIM 2014, Proceedings. Springer Verlag, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8485 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Efficient algorithms for similarity search in axis-aligned subspaces

    Houle, M. E., Ma, X., Oria, V. & Sun, J., 2014, Similarity Search and Applications - 7th International Conference, SISAP 2014, Proceedings. Traina, A. J. M., Traina, C. & Cordeiro, R. L. F. (eds.). Springer Verlag, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8821).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • GDM: DevicE MEMORY MANAGEMENT for GPGPU computing

    Wang, K., Ding, X., Lee, R., Zhang, X. & Kato, S., 2014, SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery, p. 533-545 13 p. (SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • Gleaner: Mitigating the blocked-waiter wakeup problem for virtualized multicore applications

    Ding, X., Gibbons, P. B., Kozuch, M. A. & Shan, J., 2014, Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014. USENIX Association, p. 73-84 12 p. (Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    31 Scopus citations

  • Harnessing memory page distribution for network-efficient live migration

    Qazi, K., Li, Y. & Sohn, A., Mar 9 2014, Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014. Institute of Electrical and Electronics Engineers Inc., p. 264-267 4 p. 7056750. (Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Improved shortest path edit distance for synonyms identification

    Rudniy, A., Song, M. & Geller, J., Jan 1 2014, Proceedings of the 6th International Conference on Bioinformatics and Computational Biology, BICOB 2014. International Society for Computers and Their Applications, p. 97-102 6 p. (Proceedings of the 6th International Conference on Bioinformatics and Computational Biology, BICOB 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On faults and faulty programs

    Mili, A., Frias, M. F. & Jaoua, A., 2014, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Proceedings. Springer Verlag, p. 191-207 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8428 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Scopus citations

  • Parallel bounded verification of alloy models by tranScoping

    Rosner, N., Pombo, C. G. L., Aguirre, N., Jaoua, A., Mili, A. & Frias, M. F., 2014, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers. Cohen, E., Rybalchenko, A. & Rybalchenko, A. (eds.). Springer Verlag, p. 88-107 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8164).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Poster: Detection of transportation mode based on smartphones for reducing distracted driving

    Gao, X., Tian, J. & Wang, G., Sep 7 2014, MobiCom 2014 - Proceedings of the 20th Annual. Association for Computing Machinery, p. 355-357 3 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations