33
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Testing of Communicating Systems 

      Static VS Dynamic Reversibility in CCS

      other
      ,
      Springer International Publishing

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references12

          • Record: found
          • Abstract: not found
          • Book: not found

          A Calculus of Communicating Systems

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Irreversibility and Heat Generation in the Computing Process

              Bookmark
              • Record: found
              • Abstract: found
              • Article: not found

              Experimental verification of Landauer's principle linking information and thermodynamics.

              In 1961, Rolf Landauer argued that the erasure of information is a dissipative process. A minimal quantity of heat, proportional to the thermal energy and called the Landauer bound, is necessarily produced when a classical bit of information is deleted. A direct consequence of this logically irreversible transformation is that the entropy of the environment increases by a finite amount. Despite its fundamental importance for information theory and computer science, the erasure principle has not been verified experimentally so far, the main obstacle being the difficulty of doing single-particle experiments in the low-dissipation regime. Here we experimentally show the existence of the Landauer bound in a generic model of a one-bit memory. Using a system of a single colloidal particle trapped in a modulated double-well potential, we establish that the mean dissipated heat saturates at the Landauer bound in the limit of long erasure cycles. This result demonstrates the intimate link between information theory and thermodynamics. It further highlights the ultimate physical limit of irreversible computation.
                Bookmark

                Author and book information

                Book Chapter
                2016
                June 30 2016
                : 36-51
                10.1007/978-3-319-40578-0_3
                bbd458c3-da30-41a1-a1c9-b6418fec3fcb
                History

                Comments

                Comment on this book