المؤلفون: Tsiskaridze, Nestan, Barrett, Clark, Tinelli, Cesare

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2404.16122

المؤلفون: Tsiskaridze, Nestan, Strange, Maxwell, Mann, Makai, Sreedhar, Kavya, Liu, Qiaoyi, Horowitz, Mark, Barrett, Clark

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Hardware Architecture

URL الوصول: http://arxiv.org/abs/2108.05987

المؤلفون: Tsiskaridze, Nestan

Thesis Advisors: Voronkov, Andrei

مصطلحات موضوعية: 005.3

الاتاحة: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548679

المؤلفون: Tzimpragos, Georgios, Vasudevan, Dilip, Tsiskaridze, Nestan, Michelogiannakis, George, Madhavan, Advait, Volk, Jennifer, Shalf, John, Sherwood, Timothy

المساهمون: NSF

المصدر: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems

الاتاحة: http://dx.doi.org/10.1145/3373376.3378517
https://dl.acm.org/doi/pdf/10.1145/3373376.3378517

المؤلفون: Cui, Weilong, Tzimpragos, Georgios, Tao, Yu, Mcmahan, Joseph, Dangwal, Deeksha, Tsiskaridze, Nestan, Michelogiannakis, George, Vasudevan, Dilip P., Sherwood, Timothy

المساهمون: U.S. Department of Energy

المصدر: ACM Journal on Emerging Technologies in Computing Systems ; volume 16, issue 1, page 1-28 ; ISSN 1550-4832 1550-4840

الاتاحة: http://dx.doi.org/10.1145/3360047
https://dl.acm.org/doi/pdf/10.1145/3360047

المؤلفون: Koul, Kalhan, Melchert, Jackson, Sreedhar, Kavya, Truong, Leonard, Nyengele, Gedeon, Zhang, Keyi, Liu, Qiaoyi, Setter, Jeff, Chen, Po-Han, Mei, Yuchen, Strange, Maxwell, Daly, Ross, Donovick, Caleb, Carsello, Alex, Kong, Taeyoung, Feng, Kathleen, Huff, Dillon, Nayak, Ankita, Setaluri, Rajsekhar, Thomas, James, Bhagdikar, Nikhil, Durst, David, Myers, Zachary, Tsiskaridze, Nestan, Richardson, Stephen, Bahr, Rick, Fatahalian, Kayvon, Hanrahan, Pat, Barrett, Clark, Horowitz, Mark, Torng, Christopher, Kjolstad, Fredrik, Raina, Priyanka

المساهمون: DSSoC DARPA, Stanford AHA Agile Hardware Center, Affiliates Program, Intel’s Science and Technology Center, Stanford SystemX Alliance

المصدر: ACM Transactions on Embedded Computing Systems ; volume 22, issue 2, page 1-34 ; ISSN 1539-9087 1558-3465

الاتاحة: http://dx.doi.org/10.1145/3534933
https://dl.acm.org/doi/pdf/10.1145/3534933

المؤلفون: Bahr, Rick, Barrett, Clark, Bhagdikar, Nikhil, Carsello, Alex, Daly, Ross, Donovick, Caleb, Durst, David, Fatahalian, Kayvon, Feng, Kathleen, Hanrahan, Pat, Hofstee, Teguh, Horowitz, Mark, Huff, Dillon, Kjolstad, Fredrik, Kong, Taeyoung, Liu, Qiaoyi, Mann, Makai, Melchert, Jackson, Nayak, Ankita, Niemetz, Aina, Nyengele, Gedeon, Raina, Priyanka, Richardson, Stephen, Setaluri, Raj, Setter, Jeff, Sreedhar, Kavya, Strange, Maxwell, Thomas, James, Torng, Christopher, Truong, Leonard, Tsiskaridze, Nestan, Zhang, Keyi

المصدر: 2020 57th ACM/IEEE Design Automation Conference (DAC)

الاتاحة: http://dx.doi.org/10.1109/dac18072.2020.9218553
http://xplorestaging.ieee.org/ielx7/9211868/9218488/09218553.pdf?arnumber=9218553

المؤلفون: Subramanyan, Pramod, Tsiskaridze, Nestan, Li, Wenchao, Gascon, Adria, Tan, Wei Yang, Tiwari, Ashish, Shankar, Natarajan, Seshia, Sanjit A., Malik, Sharad

المصدر: IEEE Transactions on Emerging Topics in Computing ; volume 2, issue 1, page 63-80 ; ISSN 2168-6750

الاتاحة: https://doi.org/10.1109/tetc.2013.2294918
http://xplorestaging.ieee.org/ielx7/6245516/6824880/06683016.pdf?arnumber=6683016

المؤلفون: Tsiskaridze, Nestan, Bang, Lucas, McMahan, Joseph, Bultan, Tevfik, Sherwood, Timothy

المصدر: Automated Technology for Verification and Analysis ; Lecture Notes in Computer Science ; page 404-421 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030010898 9783030010904

الاتاحة: http://dx.doi.org/10.1007/978-3-030-01090-4_24
http://link.springer.com/content/pdf/10.1007/978-3-030-01090-4_24

المؤلفون: Brennan, Tegan, Tsiskaridze, Nestan, Rosner, Nicolás, Aydin, Abdulbaki, Bultan, Tevfik

المصدر: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

الاتاحة: http://dx.doi.org/10.1145/3106237.3106303
https://dl.acm.org/doi/pdf/10.1145/3106237.3106303

المؤلفون: Tzimpragos, Georgios, Volk, Jennifer, Vasudevan, Dilip, Tsiskaridze, Nestan, Michelogiannakis, George, Madhavan, Advait, Shalf, John, Sherwood, Timothy

المصدر: IEEE Micro; May/Jun2021, Vol. 41 Issue 3, p71-79, 9p

مصطلحات موضوعية: SUPERCONDUCTORS, COMPUTER logic, ANALOG circuits, PREDICATE (Logic), CONFIRMATION (Logic), SUPERCONDUCTING circuits

المؤلفون: Barrett, Clark, Tinelli, Cesare, Deters, Morgan, Liang, Tianyi, Reynolds, Andrew, Tsiskaridze, Nestan

المساهمون: National Science Foundation

المصدر: Proceedings of the Symposium and Bootcamp on the Science of Security

الاتاحة: http://dx.doi.org/10.1145/2898375.2898393
https://dl.acm.org/doi/pdf/10.1145/2898375.2898393

المؤلفون: Liang, Tianyi, Tsiskaridze, Nestan, Reynolds, Andrew, Tinelli, Cesare, Barrett, Clark

المصدر: Frontiers of Combining Systems ; Lecture Notes in Computer Science ; page 135-150 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319242453 9783319242460

الاتاحة: http://dx.doi.org/10.1007/978-3-319-24246-0_9
http://link.springer.com/content/pdf/10.1007/978-3-319-24246-0_9

المؤلفون: Liang, Tianyi, Reynolds, Andrew, Tsiskaridze, Nestan, Tinelli, Cesare, Barrett, Clark, Deters, Morgan

المساهمون: National Science Foundation, Directorate for Computer and Information Science and Engineering

المصدر: Formal Methods in System Design ; volume 48, issue 3, page 206-234 ; ISSN 0925-9856 1572-8102

الاتاحة: http://dx.doi.org/10.1007/s10703-016-0247-6
http://link.springer.com/content/pdf/10.1007/s10703-016-0247-6.pdf
http://link.springer.com/article/10.1007/s10703-016-0247-6/fulltext.html
http://link.springer.com/content/pdf/10.1007/s10703-016-0247-6

المؤلفون: Yu, Yinlei, Subramanyan, Pramod, Tsiskaridze, Nestan, Malik, Sharad

المصدر: 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems ; page 86-91

الاتاحة: http://dx.doi.org/10.1109/vlsid.2014.22
http://xplorestaging.ieee.org/ielx7/6732243/6733066/06733111.pdf?arnumber=6733111

المؤلفون: Korovin, Konstantin, Tsiskaridze, Nestan, Voronkov, Andrei

المصدر: Perspectives of Systems Informatics ; Lecture Notes in Computer Science ; page 362-376 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642297083 9783642297090

الاتاحة: http://dx.doi.org/10.1007/978-3-642-29709-0_31
http://link.springer.com/content/pdf/10.1007/978-3-642-29709-0_31.pdf

المؤلفون: Korovin, Konstantin, Tsiskaridze, Nestan, Voronkov, Andrei

المصدر: Principles and Practice of Constraint Programming - CP 2009 ; Lecture Notes in Computer Science ; page 509-523 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642042430 9783642042447

الاتاحة: http://dx.doi.org/10.1007/978-3-642-04244-7_41
http://link.springer.com/content/pdf/10.1007/978-3-642-04244-7_41

المؤلفون: Subramanyan, Pramod, Tsiskaridze, Nestan, Pasricha, Kanika, Reisman, Dillon, Susnea, Adriana, Malik, Sharad

المصدر: Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p1277-1280, 4p