Search results

  • Conference contribution

    NoStop: A Novel Configuration Optimization Scheme for Spark Streaming

    Ye, Q., Liu, W. & Wu, C. Q., Aug 9 2021, 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings. Association for Computing Machinery, (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Novel color, shape and texture-based scene image descriptors

    Banerji, S., Sinha, A. & Liu, C., Dec 31 2012, Proceedings - 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing, ICCP 2012. p. 245-248 4 p. 6356193. (Proceedings - 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing, ICCP 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Novel color Gabor-LBP-PHOG (GLP) descriptors for object and scene image classification

    Sinha, A., Banerji, S. & Liu, C., 2012, Proceedings - 8th Indian Conference on Computer Vision, Graphics and Image Processing, ICVGIP 2012. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Novel color HWML descriptors for scene and object image classification

    Banerji, S., Sinha, A. & Liu, C., 2012, 2012 3rd International Conference on Image Processing Theory, Tools and Applications, IPTA 2012. p. 330-335 6 p. 6469564. (2012 3rd International Conference on Image Processing Theory, Tools and Applications, IPTA 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Novel color LBP descriptors for scene and image texture classification

    Banerji, S., Verma, A. & Liu, C., 2011, Proceedings of the 2011 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2011. p. 537-543 7 p. (Proceedings of the 2011 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2011; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    47 Scopus citations
  • Novel EFM-KNN classifier and a new color descriptor for image classification

    Verma, A. & Liu, C., 2011, WOCC 2011 - 20th Annual Wireless and Optical Communications Conference. 5872302. (WOCC 2011 - 20th Annual Wireless and Optical Communications Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • Novel gabor-PHOG features for object and scene image classification

    Sinha, A., Banerji, S. & Liu, C., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPR and SPR 2012, Proceedings. p. 584-592 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7626 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 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 proceedingConference contribution

    3 Scopus citations
  • Object and scene image classification using unconventional color descriptors

    Banerji, S., Sinha, A. & Liu, C., 2012, Proceedings of the 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2012. p. 695-701 7 p. (Proceedings of the 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2012; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On a clustering-based approach for traffic sub-area division

    Zhu, J., Niu, X. & Wu, C. Q., 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Wotawa, F., Pill, I., Koitz-Hristov, R., Friedrich, G. & Ali, M. (eds.). Springer Verlag, p. 516-529 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • On a Dynamic Data Placement Strategy for Heterogeneous Hadoop Clusters

    Liu, Y., Wu, C. Q., Wang, M., Hou, A. & Wang, Y., Nov 9 2018, 2018 International Symposium on Networks, Computers and Communications, ISNCC 2018. Institute of Electrical and Electronics Engineers Inc., 8530970. (2018 International Symposium on Networks, Computers and Communications, ISNCC 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • On a parallel spark workflow for frequent itemset mining based on array prefix-tree

    Niu, X., Qian, M., Wu, C. & Hou, A., Nov 2019, Proceedings of WORKS 2019: 14th Workshop on Workflows in Support of Large-Scale Science - Held in conjunction with SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 50-59 10 p. 8943526. (Proceedings of WORKS 2019: 14th Workshop on Workflows in Support of Large-Scale Science - Held in conjunction with SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • On a Pipeline-Based Architecture for Parallel Visualization of Large-Scale Scientific Data

    Chu, D. & Wu, C. Q., Sep 23 2016, Proceedings - 45th International Conference on Parallel Processing Workshops, ICPPW 2016. Institute of Electrical and Electronics Engineers Inc., p. 88-97 10 p. 7576457. (Proceedings of the International Conference on Parallel Processing Workshops; vol. 2016-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • On a Small File Merger for Fast Access and Modifiability of Small Files in HDFS

    Chen, D., Wu, C. Q., Shen, W. & Zhang, Y., 2021, 2021 IEEE/ACS 18th International Conference on Computer Systems and Applications, AICCSA 2021 - Proceedings. IEEE Computer Society, (Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On-demand node reclamation and replacement for guaranteed area coverage in long-lived sensor networks

    Tong, B., Li, Z., Wang, G. & Zhang, W., 2009, Quality of Service in Heterogeneous Networks - 6th Int. ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and AAA-IDEA 2009, Proceedings. p. 148-166 19 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 22 LNICST).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Scopus citations
  • On distributed information composition in big data systems

    Alquwaiee, H., He, S., Wu, C., Tang, Q. & Shen, X., Sep 2019, Proceedings - IEEE 15th International Conference on eScience, eScience 2019. Institute of Electrical and Electronics Engineers Inc., p. 168-177 10 p. 9041699. (Proceedings - IEEE 15th International Conference on eScience, eScience 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On efficiency of bicriteria optimization

    Calvin, J. M. & Žilinskas, A., Feb 12 2019, Proceedings LeGO 2018 � 14th International Global Optimization Workshop. Deutz, A. H., Hille, S. C., Sergeyev, Y. D. & Emmerich, M. T. M. (eds.). American Institute of Physics Inc., 20035. (AIP Conference Proceedings; vol. 2070).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On enabling machine learning tasks atop public blockchains: A crowdsourcing approach

    Lu, Y., Tang, Q. & Wang, G., Feb 7 2019, Proceedings - 18th IEEE International Conference on Data Mining Workshops, ICDMW 2018. Zhu, F., Li, Z., Yu, J. & Tong, H. (eds.). IEEE Computer Society, p. 81-88 8 p. 8637413. (IEEE International Conference on Data Mining Workshops, ICDMW; vol. 2018-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • 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 proceedingConference contribution

    17 Scopus citations
  • On Machine Learning-based Stage-aware Performance Prediction of Spark Applications

    Ye, G., Liu, W., Wu, C. Q., Shen, W. & Lyu, X., Nov 6 2020, 2020 IEEE 39th International Performance Computing and Communications Conference, IPCCC 2020. Institute of Electrical and Electronics Engineers Inc., 9391564. (2020 IEEE 39th International Performance Computing and Communications Conference, IPCCC 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On MapReduce Scheduling in Hadoop Yarn on Heterogeneous Clusters

    Wang, M., Wu, C. Q., Cao, H., Liu, Y., Wang, Y. & Hou, A., Sep 5 2018, Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018. Institute of Electrical and Electronics Engineers Inc., p. 1747-1754 8 p. 8456132. (Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • On omitting commits and committing omissions: Preventing Git metadata tampering that (re)introduces software vulnerabilities

    Torres-Arias, S., Ammula, A. K., Curtmola, R. & Cappos, J., Jan 1 2016, Proceedings of the 25th USENIX Security Symposium. USENIX Association, p. 379-395 17 p. (Proceedings of the 25th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Scopus citations
  • On Performance Prediction of Big Data Transfer in High-performance Networks

    Liu, W., Yun, D., Wu, C. Q., Rao, N. S. V., Hou, A. & Shen, W., Jun 2020, 2020 IEEE International Conference on Communications, ICC 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9149386. (IEEE International Conference on Communications; vol. 2020-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • On Periodic Scheduling of Bandwidth Reservations with Deadline Constraint for Big Data Transfer

    Wang, Y., Wu, C. Q. & Hou, A., Dec 22 2016, Proceedings - 2016 IEEE 41st Conference on Local Computer Networks, LCN 2016. IEEE Computer Society, p. 224-227 4 p. 7796791. (Proceedings - Conference on Local Computer Networks, LCN).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 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 proceedingConference contribution

    2 Scopus citations
  • On routing of multiple concurrent user requests in multi-radio multi-channel wireless mesh networks

    Cao, Z., Wu, C. Q. & Berry, M. L., Jul 2 2016, Proceedings - 17th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2016. Shen, H., Shen, H., Sang, Y. & Tian, H. (eds.). IEEE Computer Society, p. 24-29 6 p. 7943326. (Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings; vol. 0).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • On scheduling of high-throughput scientific workflows under budget constraints in multi-cloud environments

    Li, R., Wu, C. Q., Hou, A., Wang, Y., Gao, T. & Xu, M., Mar 20 2019, Proceedings - 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, 17th IEEE International Conference on Ubiquitous Computing and Communications, 8th IEEE International Conference on Big Data and Cloud Computing, 11th IEEE International Conference on Social Computing and Networking and 8th IEEE International Conference on Sustainable Computing and Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018. Chen, J. & Yang, L. T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1087-1094 8 p. 8672237. (Proceedings - 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, 17th IEEE International Conference on Ubiquitous Computing and Communications, 8th IEEE International Conference on Big Data and Cloud Computing, 11th IEEE International Conference on Social Computing and Networking and 8th IEEE International Conference on Sustainable Computing and Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • On solving exact Euclidean distance transformation with invariance to object size

    Shih, F. Y. & Yang, C. H. T., Dec 1 1993, IEEE Computer Vision and Pattern Recognition. Anon (ed.). Publ by IEEE, p. 607-608 2 p. (IEEE Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • On the complexity of deadlock recovery

    Leung, J. & Monien, B., Jan 1 1985, STACS 85 - 2nd Annual Symposium on Theoretical Aspects of Computer Science. Mehlhorn, K. (ed.). Springer Verlag, p. 208-218 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 182 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the editing distance between undirected acyclic graphs and related problems

    Zhang, K., Wang, J. T. L. & Shasha, D., 1995, Combinatorial Pattern Matching - 6th Annual Symposium, CPM 1995, Proceedings. Galil, Z. & Ukkonen, E. (eds.). Springer Verlag, p. 395-407 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 937).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    33 Scopus citations
  • On the effectiveness of random testing for Android: Or how i learned to stop worrying and love the monkey

    Patel, P., Srinivasan, G., Rahaman, S. & Neamtiu, I., May 28 2018, Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018. IEEE Computer Society, p. 34-37 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Scopus citations
  • On the estimation of the mean time to failure by simulation

    Glynn, P. W., Nakayama, M. K. & Tuffin, B., Jun 28 2017, 2017 Winter Simulation Conference, WSC 2017. Chan, V. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 1844-1855 12 p. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • On-the-fly curbside parking assignment

    Hakeem, A., Gehani, N., Ding, X., Curtmola, R. & Borcea, C., Dec 1 2016, MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services. Kawsar, F., Musolesi, M. & Zhang, P. (eds.). Association for Computing Machinery, Inc, (MobiCASE 2016 - 8th EAI International Conference on Mobile Computing, Applications and Services).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • On-the-fly homomorphic batching/unbatching

    Doröz, Y., Çetin, G. S. & Sunar, B., 2016, Financial Cryptography and Data Security - International Workshops, FC 2016, BITCOIN, VOTING, and WAHC, Revised Selected Papers. Rohloff, K., Clark, J., Meiklejohn, S., Wallach, D., Brenner, M. & Ryan, P. Y. A. (eds.). Springer Verlag, p. 288-301 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9604 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • On the recognition of industrial parts

    Chen, Y. L. & Hung, D., Jan 1 1994, Proceedings of the Conference on Artificial Intelligence Applications. Publ by IEEE, p. 461-462 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the transferability of adversarial examples between convex and 01 loss models

    Xue, Y., Xie, M. & Roshan, U., Dec 2020, Proceedings - 19th IEEE International Conference on Machine Learning and Applications, ICMLA 2020. Wani, M. A., Luo, F., Li, X., Dou, D. & Bonchi, F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1460-1467 8 p. 9356306. (Proceedings - 19th IEEE International Conference on Machine Learning and Applications, ICMLA 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • OODB path-method generator (PMG) using precomputed access relevance

    Mehta, A., Geller, J., Perl, Y. & Neuhold, E., Dec 1 1993, Proc 2 Int Conf Inf Knowl Manage. Bhargava, B., Finin, T. & Yesha, Y. (eds.). Publ by ACM, p. 596-605 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Optimizing peer learning in online groups with affinities

    Esfandiari, M., Wei, D., Amer-Yahia, S. & Roy, S. B., Jul 25 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1216-1226 11 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Scopus citations
  • Optimizing the performance of big data workflows in multi-cloud environments under budget constraint

    Wu, C. Q. & Cao, H., Aug 31 2016, Proceedings - 2016 IEEE International Conference on Services Computing, SCC 2016. Zhang, J., Miller, J. A. & Xu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 138-145 8 p. 7557446. (Proceedings - 2016 IEEE International Conference on Services Computing, SCC 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • Order dependence of declarative knowledge representation

    Geller, J., 1990, Current Trends in SNePS - Semantic Network Processing System - 1st Annual SNePS Workshop, Proceedings. Kumar, D. (ed.). Springer Verlag, p. 41-54 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 437 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • Output analysis for simulations

    Nakayama, M. K., Dec 1 2006, Proceedings of the 2006 Winter Simulation Conference, WSC. p. 36-46 11 p. 4117589. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Scopus citations
  • P2F2: Privacy-preserving face finder

    Almalki, N., Curtmola, R., Ding, X., Gehani, N. & Borcea, C., Feb 7 2017, 37th IEEE Sarnoff Symposium, Sarnoff 2016. Institute of Electrical and Electronics Engineers Inc., p. 214-219 6 p. 7846758. (37th IEEE Sarnoff Symposium, Sarnoff 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • P2P systems meet mobile computing: A community-oriented software infrastructure for mobile social applications

    Borcea, C. & Iamnitchi, A., Dec 1 2008, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008. p. 242-247 6 p. 4800685. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • Pace control via adaptive dropout for federated training: A work-in-progress report

    Wang, F., Shang, X., Shan, J. & Ding, X., Oct 2020, Proceedings - 2020 IEEE Cloud Summit, Cloud Summit 2020. Institute of Electrical and Electronics Engineers Inc., p. 176-179 4 p. 9283743. (Proceedings - 2020 IEEE Cloud Summit, Cloud Summit 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Packaging and Sharing Machine Learning Models via the Acumos AI Open Platform

    Zhao, S., Talasila, M., Jacobson, G., Borcea, C., Aftab, S. A. & Murray, J. F., Jan 15 2019, Proceedings - 17th IEEE International Conference on Machine Learning and Applications, ICMLA 2018. Wani, M. A., Sayed-Mouchaweh, M., Lughofer, E., Gama, J. & Kantardzic, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 841-846 6 p. 8614160. (Proceedings - 17th IEEE International Conference on Machine Learning and Applications, ICMLA 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • PAMPAS: Privacy-aware mobile participatory sensing using secure probes

    That, D. H. T., Popa, I. S., Zeitouni, K. & Borcea, C., Jul 18 2016, Scientific and Statistical Database Management: 28th International Conference, SSDBM 2016 - Proceedings. Baumann, P., Manolescu-Goujot, I., Trani, L., Ioannidis, Y., Barnafoldi, G. G., Dobos, L. & Banyai, E. (eds.). Association for Computing Machinery, 2949704. (ACM International Conference Proceeding Series; vol. 18-20-July-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Parallel bidirectional A* search on a symmetry multiprocess

    Sohn, A., Dec 1 1993, Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing. Anon (ed.). Publ by IEEE, p. 19-22 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 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 proceedingConference contribution

    4 Scopus citations
  • Parallel divide-and-conquer phylogeny reconstruction by maximum likelihood

    Du, Z., Stamatakis, A., Lin, F., Roshan, U. & Nakhleh, L., Dec 1 2005, High Performance Computing and Communcations - First International Conference, HPCC 2005, Proceedings. p. 776-785 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3726 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • Parallelism profiling of an Ops5 production system interpreter

    Sohn, A., Gaudiot, J. L. & Guyot, M., Dec 1 1992, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. Publ by IEEE, p. 534-543 10 p. (Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution