On Correctness of Nonserializable Executions

Author： Rastogi R.   Mehrotra S.   Breitbart Y.   Korth H.F.   Silberschatz A.  

Publisher： Academic Press

ISSN： 0022-0000

Source： Journal of Computer and System Sciences, Vol.56, Iss.1, 1998-02, pp. : 68-82

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Collecting Statistics Over Runtime Executions

By Finkbeiner Bernd   Sankaranarayanan Sriram   Sipma Henny  

Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. : 253-274

Springer Publishing Company

Access to resources Recommend Favorite

On the correctness of modular systems

By Navarro M.   Orejas F.   Sanchez A.  

Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. : 139-177

Elsevier

Access to resources Recommend Favorite

Static correctness of hierarchical procedures

By Schwartzbach M.I.  

Theoretical Computer Science, Vol. 156, Iss. 1, 1996-03 ,pp. : 177-201

Elsevier

Access to resources Recommend Favorite

Design Methodology for Offloading Software Executions to FPGA

By Patyk Tomasz  

Journal of Signal Processing Systems, Vol. 65, Iss. 2, 2011-11 ,pp. : 245-259

Springer Publishing Company

Access to resources Recommend Favorite

Games for non-repudiation protocol correctness

By Adi K.   Pene L.   Sullivan L.  

International Journal of Wireless and Mobile Computing, Vol. 4, Iss. 4, 2010-10 ,pp. : 305-313

Inderscience Publishers

Access to resources Recommend Favorite