Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Qiu Xiaokang"'
Memory consistency model (MCM) issues in out-of-order-issue microprocessor-based shared-memory systems are notoriously non-intuitive and a source of hardware design bugs. Prior hardware verification work is limited to in-order-issue processors, to pr
Externí odkaz:
http://arxiv.org/abs/2404.03113
When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing critical traffic. The state of practice poses challenges since architect
Externí odkaz:
http://arxiv.org/abs/2105.11620
Autor:
Qiu, Xiaokang
In this paper, we define streaming register transducer (SRT), a one-way, letter-to-letter, transductional machine model for transformations of infinite data words whose data domain forms a linear group. Comparing with existing data word transducers,
Externí odkaz:
http://arxiv.org/abs/2001.06952
Autor:
Bagchi, Saurabh, Aggarwal, Vaneet, Chaterji, Somali, Douglis, Fred, Gamal, Aly El, Han, Jiawei, Henz, Brian J., Hoffmann, Hank, Jana, Suman, Kulkarni, Milind, Lin, Felix Xiaozhu, Marais, Karen, Mittal, Prateek, Mou, Shaoshuai, Qiu, Xiaokang, Scutari, Gesualdo
Publikováno v:
IEEE Open Journal of the Computer Society, 2020
A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on March 19-21, 2019. The workshop was divided into three themes: resili
Externí odkaz:
http://arxiv.org/abs/1912.11598
Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to reasoning about tree traversals and their transformations are ad hoc, w
Externí odkaz:
http://arxiv.org/abs/1910.09521
Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main search strategies: concrete search, which systematically or stochastically
Externí odkaz:
http://arxiv.org/abs/1802.04428
Autor:
Inala, Jeevana Priya, Polikarpova, Nadia, Qiu, Xiaokang, Lerner, Benjamin S., Solar-Lezama, Armando
Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potential programs. Unfortunately, creating templates often requires nontrivi
Externí odkaz:
http://arxiv.org/abs/1507.05527
Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program, also called a sketch or template. This paper presents JSKETCH, a tool that brings sketch-based synthesis to Java. JSKETCH's in
Externí odkaz:
http://arxiv.org/abs/1507.03577
Autor:
Pan, Jingjun, You, Hongjuan, Pan, Yong, Wu, Di, Yu, Le, Wang, Xiaofei, Qiu, Xiaokang, Zhang, Min
Publikováno v:
In Measurement February 2016 79:198-202
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.