, Sections, Proceedings of the IRE, vol.37, issue.1, pp.67-68, 1949.
Energy efficiency profiles for unmanned ground vehicles, Proceedings of the Estonian Academy of Sciences, vol.68, issue.1, p.55, 2019. ,
, booked call, Proc. 63 sends {'booked',0} to Proc. 68 (16) Proc. 67 receives {'booked, p.1
, Institute activities, Proceedings of the Institute of Radio Engineers, vol.15, issue.2, pp.67-69, 1927.
, Indian Chairman of IERE receives the F.I.E. Foundation Award, IEE-IERE Proceedings - India, vol.15, issue.3, p.102, 1977.
, Sections, Proceedings of the IRE, vol.37, issue.1, pp.67-68, 1949.
, Topics of the information community, Journal of Information Processing and Management, vol.56, issue.1, pp.63-68, 2013.
, Stepanishen receives British acoustics prize, Physics Today, vol.31, issue.12, pp.68-68, 1978.
Addendum to: ??Residual linearity for certain nilpotent groups?\ (Proc. Amer. Math. Soc. {\bf 68} (1978), no. 1, 27?31), Proceedings of the American Mathematical Society, vol.77, issue.1, pp.19-19, 1979. ,
Principles of Inverse Computation and the Universal Resolving Algorithm, Lecture Notes in Computer Science, vol.2566, pp.269-295, 2002. ,
A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.249-258 ,
, Reversible debugging software -quantify the time and cost saved using reversible debuggers, 2012.
Reversible structures, Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11, pp.131-140, 2011. ,
, , 2004.
Efficient optimistic parallel simulations using reverse computation, ACM Transactions on Modeling and Computer Simulation, vol.9, issue.3, pp.224-253, 1999. ,
Reversible debugging using program instrumentation, IEEE Trans. Softw. Eng, vol.27, issue.8, pp.715-727, 2001. ,
Debugging with gdb, Introduction to Scientific and Technical Computing, vol.7, pp.71-82, 2016. ,
A Compositional Semantics for the Reversible p-Calculus, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.388-397, 2013. ,
Reversible Communicating Systems, CONCUR 2004 - Concurrency Theory, vol.3170, pp.292-307, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00784051
A review of reverse debugging, Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference (S4D), pp.28-33, 2012. ,
Introduction to reversible computing, Proceedings of the 2nd conference on Computing frontiers - CF '05, pp.385-390, 2005. ,
Parallel discrete event simulation, Communications of the ACM, vol.33, issue.10, pp.30-53, 1990. ,
Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, vol.8411, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Causal-consistent rollback in a tuple-based language, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.99-120, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01633260
A linear-time self-interpreter of a reversible imperative language, Comput. Softw, vol.33, issue.3, pp.108-128, 2016. ,
A Minimalist's Reversible While Language, IEICE Transactions on Information and Systems, vol.E100.D, issue.5, pp.1026-1034, 2017. ,
Implementing Reversible Object-Oriented Language Features on Reversible Machines, Reversible Computation, pp.66-73, 2017. ,
Reversing Imperative Parallel Programs, Electronic Proceedings in Theoretical Computer Science, vol.255, pp.51-66, 2017. ,
Reversing Parallel Programs with Blocks and Procedures, Electronic Proceedings in Theoretical Computer Science, vol.276, pp.69-86, 2018. ,
Reversible Imperative Parallel Programs and Debugging, Reversible Computation, vol.11497, pp.108-127, 2019. ,
Reversible Imperative Parallel Programs and Debugging, Reversible Computation, pp.108-127, 2019. ,
Reversing Parallel Programs with Blocks and Procedures, Electronic Proceedings in Theoretical Computer Science, vol.276, pp.69-86, 2018. ,
Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development, vol.5, issue.3, pp.183-191, 1961. ,
Causal-consistent reversibility, Bull. EATCS, vol.114, pp.121-139, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089350
Reversibility in the higher-order ?-calculus, Theoretical Computer Science, vol.625, pp.25-84, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01081714
CauDEr: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, pp.247-263, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912894
CauDEr: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, vol.10818, pp.247-263, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912894
A theory of reversibility for Erlang, Journal of Logical and Algebraic Methods in Programming, vol.100, pp.71-97, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912856
Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, vol.11535, pp.167-184, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313745
Automatic error recovery in robot assembly operations using reverse execution, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.1785-1792, 2015. ,
Debugging backwards in time, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), pp.225-235, 2003. ,
Learning from mistakes, Proceedings of the 13th international conference on Architectural support for programming languages and operating systems - ASPLOS XIII, pp.329-339, 2008. ,
, , 2008.
Time travel debugging: root causing bugs in commercial scale software, 2017. ,
On Reversibility and Broadcast, Reversible Computation, vol.11106, pp.67-83, 2018. ,
A Reversible Semantics for Erlang, Logic-Based Program Synthesis and Transformation, vol.10184, pp.259-274, 2017. ,
Introduction to Reversible Computing, 2014. ,
Reversing algebraic process calculi, The Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.70-96, 2007. ,
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, vol.7581, pp.218-232, 2013. ,
Reverse Code Generation for Parallel Discrete Event Simulation, Reversible Computation, vol.9138, pp.95-110, 2015. ,
Generation of reversible C++ code for optimistic parallel discrete event simulation, New Gener. Comput, vol.36, issue.3, pp.257-280, 2018. ,
Automatic generation of reversible C++ code and its performance in a scalable kinetic Monte-Carlo application, Proceedings of the 2016 Annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation (SIGSIM-PADS 2016), pp.111-122, 2016. ,
Elements of a Reversible Object-Oriented Language, Reversible Computation, vol.9720, pp.153-159, 2016. ,
Actoverse: a reversible debugger for actors, Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp.50-57, 2017. ,
High-pressure decorative laminates (HPL). Sheets based on thermosetting resins (usually called laminates), HP Labs tech report ,
The free lunch is over: a fundamental turn toward concurrency in software, Dr. Dobb's J, vol.30, issue.3, pp.202-210, 2005. ,
Debugging, Practical Software Development Techniques, pp.79-90, 2014. ,
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation, Proceedings of the 2011 Winter Simulation Conference (WSC), pp.2965-2979, 2011. ,
A reversible programming language and its invertible self-interpreter, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07, pp.144-153, 2007. ,
Principles of a reversible programming language, Proceedings of the 5th Conference on Computing Frontiers, pp.43-54, 2008. ,
Fundamentals of reversible flowchart languages, Theoretical Computer Science, vol.611, pp.87-115, 2016. ,
, Open Access This chapter is licensed under the terms of the Creative Commons