Search concepts
|
Selected Filters
|
- 41,650 - 41,700 out of 49,031 results
Search results
-
Conference contribution
Software architectural specification for optimal object distribution
Bastarrica, M. C., Demurjian, S. A. & Shvartsman, A. A., 1998, Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science. Institute of Electrical and Electronics Engineers Inc., p. 25-31 7 p. 730779. (Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science; vol. 1998-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9 Scopus citations -
Software transition: A case study
Pigoski, T. M. & Sexton, J., Nov 1 1990, Conference on Software Maintenance. Publ by IEEE, p. 200-204 5 p. (Conference on Software Maintenance).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
SoK: RFID-based clone detection mechanisms for supply chains
Maleki, H., Rahaeimehr, R. & Van Dijk, M., Nov 3 2017, ASHES 2017 - Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware Security, co-located with CCS 2017. Association for Computing Machinery, Inc, p. 33-41 9 p. (ASHES 2017 - Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware Security, co-located with CCS 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Solving k-set agreement with stable skeleton graphs
Biely, M., Robinson, P. & Schmidt, U., 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2011. p. 1488-1495 8 p. 6009006. (IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Sorting within distance bound on a mesh-connected processor array
Chlebus, B. S., 1989, Optimal Algorithms - International Symposium, Proceedings. Djidjev, H. (ed.). Springer Verlag, p. 232-238 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 401 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Sparse networks supporting efficient reliable broadcasting
Chlebus, B. S., Diks, K. & Pelc, A., 1993, Automata, Languages and Programming - 20th International Colloquium, ICALP 1993, Proceedings. Lingas, A., Karlsson, R. & Carlsson, S. (eds.). Springer Verlag, p. 388-397 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 700 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Scopus citations -
Spontaneous, self-sampling quorum systems for ad hoc networks
Konwar, K. M., Musial, P. M. & Shvartsman, A. A., 2008, Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC 2008. p. 367-374 8 p. 4724268. (Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC 2008).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Stability analysis of switched nonlinear systems based on dynamical dwell time approach
Xiang, Z. & Xiang, W., Aug 18 2008, Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC. p. 1758-1763 6 p. 4525508. (Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Stability of adversarial routing with feedback
Chlebus, B. S., Cholvi, V. & Kowalski, D. R., 2013, Networked Systems - First International Conference, NETYS 2013, Revised Selected Papers. p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7853 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Stability of the multiple-access channel under maximum broadcast loads
Chlebus, B. S., Kowalski, D. R. & Rokicki, M. A., 2007, Stabilization, Safety, and Security of Distributed Systems - 9th International Symposium, SSS 2007, Proceedings. Springer Verlag, p. 124-138 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4838 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015 Edmonton, AB, Canada, August 18-21, 2015 Proceedings
Pelc, A. & Schwarzmann, A. A., Jan 1 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Stabilization of a class of switched nonlinear systems with average dwell time
Xiang, Z. & Xiang, W., 2008, Proceedings of the 7th World Congress on Intelligent Control and Automation, WCICA'08. p. 1673-1676 4 p. 4593170. (Proceedings of the World Congress on Intelligent Control and Automation (WCICA)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Stabilization of a class of switched systems with mismatched switching
Xiang, W., Che, M., Xiao, C. & Xiang, Z., Nov 18 2009, 2009 International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2009. p. 124-127 4 p. 5203392. (2009 International Conference on Measuring Technology and Mechatronics Automation, ICMTMA 2009; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations -
Stabilizing Switching Control for DC- DC Converter in Two-Stage Photovoltaic Grid Connected Inverters
Liu, Y., Wang, T., Wang, X. & Xiang, W., Dec 10 2018, 2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018. Institute of Electrical and Electronics Engineers Inc., p. 387-392 6 p. 8572323. (2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Stable memoryless queuing under contention
Garncarek, P., Jurdziński, T. & Kowalski, D. R., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Star-based reachability analysis of deep neural networks
Tran, H. D., Manzanas Lopez, D., Musau, P., Yang, X., Nguyen, L. V., Xiang, W. & Johnson, T. T., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 670-686 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
22 Scopus citations -
Station assignment with applications to sensing
Fernández Anta, A., Kowalski, D. R., Mosteiro, M. A. & Wong, P. W. H., 2013, Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Revised Selected Papers. Springer Verlag, p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8243 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Stippling by example
Kim, S. Y., Maciejewski, R., Isenberg, T., Andrews, W. M., Chen, W., Sousa, M. C. & Ebert, D. S., 2009, Proceedings of NPAR 2009: The 7th International Symposium on Non-Photorealistic Animation and Rendering. p. 41-50 10 p. (NPAR Symposium on Non-Photorealistic Animation and Rendering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
45 Scopus citations -
Storage and search in dynamic peer-to-peer networks
Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, SPAA 2013 - Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 53-62 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
24 Scopus citations -
Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems
Konwar, K. M., Prakash, N., Kantor, E., Lynch, N., Medard, M. & Schwarzmann, A. A., Jul 18 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016. Institute of Electrical and Electronics Engineers Inc., p. 720-729 10 p. 7516068. (Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Strategies for hotlink assignments
Bose, P., Czyzowicz, J., Gąsieniec, L., Kranakis, E., Krizanc, D., Pelc, A. & Martin, M. V., 2000, Algorithms and Computation - 11th International Conference, ISAAC 2000, Proceedings. Lee, D. T., Teng, S-H. & Teng, S-H. (eds.). Springer Verlag, p. 23-34 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1969).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37 Scopus citations -
Stratification based hierarchical clustering over a deep web data source
Liu, T. & Agrawal, G., 2012, Proceedings of the 12th SIAM International Conference on Data Mining, SDM 2012. Society for Industrial and Applied Mathematics Publications, p. 70-81 12 p. (Proceedings of the 12th SIAM International Conference on Data Mining, SDM 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Stratified sampling for data mining on the deep web
Liu, T., Wang, F. & Agrawal, G., 2010, Proceedings - 10th IEEE International Conference on Data Mining, ICDM 2010. p. 324-333 10 p. 5693986. (Proceedings - IEEE International Conference on Data Mining, ICDM).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9 Scopus citations -
Structural Specification of a Distributed System Using I 5
Bastarrica, M. C., Craig, S., Demurjian, S. A. & Shvartsman, A. A., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 484-489 6 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Structures and function of remora adhesion
Nadler, J. H., Mercer, A. J., Culler, M., Ledford, K. A., Bloomquist, R. & Lin, A., 2013, Biomimetic, Bio-Inspired and Self-Assembled Materials for Engineered Surfaces and Applications. p. 159-168 10 p. (Materials Research Society Symposium Proceedings; vol. 1498).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
15 Scopus citations -
Structures in solution of 1-azaallyllithium analogs
Jackman, L. M. & Scarmoutzos, L. M., Sep 1985, American Chemical Society, Division of Petroleum Chemistry, Preprints. 4 ed. ACS, Vol. 30. p. 611-614 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Study of dose enhancement effects in the vicinity of high Z atoms with Geant4 Monte Carlo simulation
Huang, K., Yan, K. & Yu, Y., Dec 1 2010, Proceedings - 2010 3rd International Conference on Biomedical Engineering and Informatics, BMEI 2010. Vol. 3. p. 1260-1264 5 p. 5639270Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Sublinear bounds for randomized leader election
Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking - 14th International Conference, ICDCN 2013, Proceedings. p. 348-362 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7730 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
17 Scopus citations -
Supervised average consensus in anonymous dynamic networks
Kowalski, D. R. & Mosteiro, M. A., Jul 6 2021, SPAA 2021 - Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 307-317 11 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Supporting a visualization application on a self-adapting grid middleware
Chen, L., Shen, H. W. & Agrawal, G., 2008, IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM. 4536208. (IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Supporting fault tolerance in a data-intensive computing middleware
Bicer, T., Jiang, W. & Agrawal, G., 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010. 5470462. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
16 Scopus citations -
Supporting increment and decrement operations in balancing networks
Aiello, W., Busch, C., Herlihy, M., Mavronicolas, M., Shavit, N. & Touitou, D., 1999, STACS 99 - 16th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Meinel, C. & Tison, S. (eds.). Springer Verlag, p. 393-403 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1563).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations -
Supporting load balancing for distributed data-intensive applications
Glimcher, L., Ravi, V. T. & Agrawal, G., 2009, 16th International Conference on High Performance Computing, HiPC 2009 - Proceedings. p. 235-244 10 p. 5403204. (16th International Conference on High Performance Computing, HiPC 2009 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Surface characterization of Ga-doped ZnO layers
McNamara, J. D., Ferguson, J. D., Foussekis, M., Ruchala, I., Reshchikov, M. A., Baski, A. A., Liu, H., Avrutin, V. & Morkoç, H., 2012, Transparent Conducting Oxides and Applications. p. 77-82 6 p. (Materials Research Society Symposium Proceedings; vol. 1315).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Surface matching algorithms for computer aided reconstructive plastic surgery
Bhandarkar, S. M., Chowdhury, A. S., Tang, Y., Yu, J. C. & Tollner, E. W., Dec 1 2004, 2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano. Vol. 1. p. 740-743 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
15 Scopus citations -
Surface reconstruction for computer vision-based craniofacial surgery
Bhandarkar, S. M., Chowdhury, A. S., Tollner, E. W., Yu, J. C., Ritter, E. W. & Konar, A., Jan 1 2005, Proceedings - Seventh IEEE Workshop on Applications of Computer Vision, WACV 2005. IEEE Computer Society, p. 257-262 6 p. 4129488. (Proceedings - Seventh IEEE Workshop on Applications of Computer Vision, WACV 2005).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Surface registration for use in interactive image-guided liver surgery
Herline, A. J., Herring, J. L., Stefansic, J. D., Chapman, W. C., Galloway, R. L. & Dawant, B. M., 1999, Medical Image Computing and Computer-Assisted Intervention –MICCAI 1999 - 2nd International Conference, Proceedings. Taylor, C. & Colchester, A. (eds.). Springer Verlag, p. 892-899 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1679).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access12 Scopus citations -
Swarm Model Checking on the GPU
DeFrancisco, R., Cho, S., Ferdman, M. & Smolka, S. A., 2019, Model Checking Software - 26th International Symposium, SPIN 2019, Proceedings. Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 94-113 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11636 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Symmetry breaking in the congest model: Timeand message-efficient algorithms for ruling sets
Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P., Oct 1 2017, 31st International Symposium on Distributed Computing, DISC 2017. Richa, A. W. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 91).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12 Scopus citations -
Symmetry breaking in the plane: Rendezvous by robots with unknown attributes
Czyzowicz, J., Gasieniec, L., Killick, R. & Kranakis, E., Jul 16 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 4-13 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Synchronous byzantine agreement with nearly a cubic number of communication bits
Kowalski, D. R. & Mostéfaoui, A., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 84-91 8 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Synchronous rendezvous for location-aware agents
Collins, A., Czyzowicz, J., Ga̧sieniec, L., Kosowski, A. & Martin, R., 2011, Distributed Computing - 25th International Symposium, DISC 2011, Proceedings. p. 447-459 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6950 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
20 Scopus citations -
Synthesis, functionalization, characterization, and application of controlled shape nanoparticles in energy production
Murph, S. E. H., Serkiz, S. M., Fox, E. B., Colon-Mercado, H., Sexton, L. & Siegfried, M., 2011, Fluorine-Related Nanoscience with Energy Applications. American Chemical Society, p. 127-163 37 p. (ACS Symposium Series; vol. 1064).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations -
Synthesis of concurrent systems with many similar sequential processes
Attie, P. C. & Emerson, E. A., Dec 1 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 191-201 11 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
11 Scopus citations -
Synthesis of large concurrent programs via pairwise composition
Attie, P. C., 1999, CONCUR 1999, Concurrency Theory - 10th International Conference, Proceedings. Springer Verlag, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1664 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
14 Scopus citations -
Tail amplification in n-Tier Systems: A study of transient cross-resource contention attacks
Zhang, S., Shan, H., Wang, Q., Liu, J., Yan, Q. & Wei, J., Jul 2019, Proceedings - 2019 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1527-1538 12 p. 8884816. (Proceedings - International Conference on Distributed Computing Systems; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Taking total control of voting systems: Firmware manipulations on an optical scan voting terminal
Davtyan, S., Kentros, S., Kiayias, A., Michel, L., Nicolaou, N., Russell, A., See, A., Shashidhar, N. & Shvartsman, A. A., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. p. 2049-2053 5 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations -
Tampering with special purpose trusted computing devices: A case study in Optical Scan e-voting
Kiayias, A., Michel, L., Russell, A., Shashidhar, N., See, A., Shvartsman, A. & Davtyan, S., 2007, Proceedings - 23rd Annual Computer Security Applications Conference, ACSAC 2007. p. 30-39 10 p. 4412974. (Proceedings - Annual Computer Security Applications Conference, ACSAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12 Scopus citations -
Task decomposition for adaptive data staging in workflows for distributed environments
Ezenwoye, O., Viswanathan, B., Sadjadi, S. M., Fong, L., Dasgupta, G. & Kalayci, S., Dec 1 2009, Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009. p. 16-19 4 p. (Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators
Kuo, N-C., 2012, Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution