360 research outputs found

    Francis Marion University catalog 2023-24

    Get PDF
    Francis Marion University annually publishes a catalog with information about the university, student life, undergraduate and graduate academic programs, and faculty and staff listings

    Sound Atomicity Inference for Data-Centric Synchronization

    Full text link
    Data-Centric Concurrency Control (DCCC) shifts the reasoning about concurrency restrictions from control structures to data declaration. It is a high-level declarative approach that abstracts away from the actual concurrency control mechanism(s) in use. Despite its advantages, the practical use of DCCC is hindered by the fact that it may require many annotations and/or multiple implementations of the same method to cope with differently qualified parameters. Moreover, the existing DCCC solutions do not address the use of interfaces, precluding their use in most object-oriented programs. To overcome these limitations, in this paper we present AtomiS, a new DCCC model based on a rigorously defined type-sound programming language. Programming with AtomiS requires only (atomic)-qualifying types of parameters and return values in interface definitions, and of fields in class definitions. From this atomicity specification, a static analysis infers the atomicity constraints that are local to each method, considering valid only the method variants that are consistent with the specification, and performs code generation for all valid variants of each method. The generated code is then the target for automatic injection of concurrency control primitives, by means of the desired automatic technique and associated atomicity and deadlock-freedom guarantees, which can be plugged-into the model's pipeline. We present the foundations for the AtomiS analysis and synthesis, with formal guarantees that the generated program is well-typed and that it corresponds behaviourally to the original one. The proofs are mechanised in Coq. We also provide a Java implementation that showcases the applicability of AtomiS in real-life programs

    2001 July, University of Memphis bulletin

    Get PDF
    Vol. 88 of the University of Memphis bulletin containing the graduate catalog for 2001-2003.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1189/thumbnail.jp

    2021-2022, University of Memphis bulletin

    Get PDF
    University of Memphis bulletin containing the graduate catalog for 2021-2022.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1441/thumbnail.jp

    2013-2014, University of Memphis bulletin

    Get PDF
    University of Memphis bulletin containing the graduate catalog for 2013-2014.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1434/thumbnail.jp

    11th International Conference on Business, Technology and Innovation 2022

    Get PDF
    Welcome to IC – UBT 2022 UBT Annual International Conference is the 11th international interdisciplinary peer reviewed conference which publishes works of the scientists as well as practitioners in the area where UBT is active in Education, Research and Development. The UBT aims to implement an integrated strategy to establish itself as an internationally competitive, research-intensive university, committed to the transfer of knowledge and the provision of a world-class education to the most talented students from all background. The main perspective of the conference is to connect the scientists and practitioners from different disciplines in the same place and make them be aware of the recent advancements in different research fields, and provide them with a unique forum to share their experiences. It is also the place to support the new academic staff for doing research and publish their work in international standard level. This conference consists of sub conferences in different fields like: Security Studies Sport, Health and Society Psychology Political Science Pharmaceutical and Natural Sciences Mechatronics, System Engineering and Robotics Medicine and Nursing Modern Music, Digital Production and Management Management, Business and Economics Language and Culture Law Journalism, Media and Communication Information Systems and Security Integrated Design Energy Efficiency Engineering Education and Development Dental Sciences Computer Science and Communication Engineering Civil Engineering, Infrastructure and Environment Architecture and Spatial Planning Agriculture, Food Science and Technology Art and Digital Media This conference is the major scientific event of the UBT. It is organizing annually and always in cooperation with the partner universities from the region and Europe. We have to thank all Authors, partners, sponsors and also the conference organizing team making this event a real international scientific event. Edmond Hajrizi, President of UBT UBT – Higher Education Institutio

    1993 April, Memphis State University bulletin

    Get PDF
    Vol. 82, No. 1 of the Memphis State University bulletin containing the undergraduate catalog 1993-94, 1993 April.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1176/thumbnail.jp

    2009-2010, University of Memphis bulletin

    Get PDF
    University of Memphis bulletin containing the graduate catalog for 2009-2010.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1429/thumbnail.jp

    2007-2008, University of Memphis bulletin

    Get PDF
    University of Memphis bulletin containing the undergraduate catalog for 2007-2008.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1448/thumbnail.jp

    2016-2017, University of Memphis bulletin

    Get PDF
    University of Memphis bulletin containing the graduate catalog for 2016-2017.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1436/thumbnail.jp
    • …
    corecore