• Suche: "REVERSIBLE computing"

Treffer 1 - 20 von 1.073

1

Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility
Arnone, William ; Lanese, Ivan ; Foundations of Component-based Ubiquitous Systems (FOCUS) ; et al.
RC 2025 - 17th Conference on Reversible Computation. :1-8

Odense, Denmark Concurrence - Distributi... Reversible computing [INFO]Computer Science [...
Konferenz
Zu den Favoriten
2

PSPACE-Completeness of Reversible Deterministic Systems.
Demaine, Erik D. ; Hearn, Robert A. ; Hendrickson, Dylan ; et al.
International Journal of Foundations of Computer Science. Nov2025, Vol. 36 Issue 7, p1041-1062. 22p.

REVERSIBLE computing COMPUTATIONAL complexity DETERMINISTIC algorithms PLANNING techniques CONSTRAINT programming
Fachzeitschrift
Zu den Favoriten
3

Reversible Two-Party Computations.
Kutrib, Martin ; Malcher, Andreas
International Journal of Foundations of Computer Science. Sep2025, p1-27. 27p.

REVERSIBLE computing FINITE state machines DECIDABILITY (Mathematic... FORMAL languages DETERMINISTIC algorithms COMMUNICATION complexity...
Fachzeitschrift
Zu den Favoriten
4

Transition Systems from Asymmetric Prime Event Structures with Cause-Respecting Reversibility.
Gribovskaya, Nataliya ; Virbitskaite, Irina
International Journal of Foundations of Computer Science. Sep2025, p1-29. 29p.

REVERSIBLE computing BISIMULATION CAUSAL models SEMANTICS methodology DYNAMICAL systems
Fachzeitschrift
Zu den Favoriten
5

Go Backward, Save energy: Reversible computing principles point a way toward more efficient computers.
Edwards, Chris
Communications of the ACM. Nov2022, Vol. 65 Issue 11, p13-15. 3p. 1 Color Photograph.

COMPUTER systems REVERSIBLE computing COMPUTER performance ADIABATIC processes METAL oxide semiconducto...
Zeitschrift
Zu den Favoriten
6

An Optimized Reversible Multiplier with Sklansky Adder for Next-Generation ALUs.
Yadav, Rishu ; Kushwaha, Nagendra ; Mishra, Sandeep ; et al.
IETE Journal of Research. Oct2025, p1-13. 13p. 11 Illustrations.

SYSTEMS on a chip REVERSIBLE computing FIELD programmable gate... ENERGY consumption DIGITAL electronics COMPUTER performance
Fachzeitschrift
Zu den Favoriten
7

Industry perspective: Limits of energy efficiency for conventional CMOS and the need for adiabatic reversible computing.
Frank, Michael P. ; Edwards, Alexander J.
APL Electronic Devices. Sep2025, Vol. 1 Issue 3, p1-6. 6p.

REVERSIBLE computing COMPUTER logic SEMICONDUCTOR industry ENERGY consumption POTENTIAL energy DIGITAL technology
Fachzeitschrift
Zu den Favoriten
8

Causal Reversibility Implies Time Reversibility
Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea ; et al.
QEST 2023 - International Conference on Quantitative Evaluation of Systems. :270-287

Antwerp, Belgium Reversible computing Markov Chain Causal Consistency [INFO]Computer Science [...
Konferenz
Zu den Favoriten
9

Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares ; et al.
Reversible Computation - RC 2023. :24-39

Giessen, Germany Reversible computing Models and languages Taxonomy [INFO]Computer Science [...
Konferenz
Zu den Favoriten
10

Beyond Post-Quantum Cryptography: Cryptosystems that are Secure in Certain Computation Models
Zadiraka, V. K. ; Kudin, A. M. ; Kudin, I. A. ; et al.
Cybernetics and Systems Analysis. :1-12

Fachzeitschrift
Zu den Favoriten
11

Logical Fault Detection Approach for Mixed Control Flipping Faults in Reversible Circuits.
Handique, Mousum ; Prasad, Amrit
IETE Journal of Research. May2025, p1-17. 17p. 8 Illustrations.

REVERSIBLE computing FAULT diagnosis DIGITAL electronics QUANTUM computing FAILURE analysis
Fachzeitschrift
Zu den Favoriten
12

Startup working on 'reversible computing' chip for AI says initial tests show a 50% energy savings.
Kahn, Jeremy
Fortune.com. 5/21/2025, pN.PAG-N.PAG. 1p.

INTEGRATED circuits POWER plants REVERSIBLE computing COMPUTER engineering MOORE'S law GRAPHICS processing unit...
Zeitschrift
Zu den Favoriten
13

Reversible Debugging of Erlang Programs in CauDEr
Lanese, Ivan ; Vidal, Germán ; Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS) ; et al.
DEBT 2024 - 2nd ACM International Workshop on Future Debugging Techniques. :30-31

Vienna, Austria Reversible computing Reversible computing Deb... Debugging Concurrency Erlang …
Konferenz
Zu den Favoriten
14

Reversibility in Erlang: Imperative Constructs
Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard ; et al.
RC 2022 - 14th International Conference on Reversible Computation. :187-203

Urbino, Italy Causality Reversible computing Erlang Debugging [INFO]Computer Science [...
Konferenz
Zu den Favoriten
15

Energy‐Efficient and Area‐Optimized Reversible Carry Select Adder.
Murugesan, Praveena ; S., Palani ; V., Divya ; et al.
IET Circuits, Devices & Systems (Wiley-Blackwell); 12/9/2025, Vol. 2025, p1-10, 10p

REVERSIBLE computing QUANTUM computing DIGITAL technology ENERGY consumption FIELD programmable gate... VERY large scale circuit...
Fachzeitschrift
Zu den Favoriten
16

Causal-Consistent Debugging of Distributed Erlang Programs
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard ; et al.
RC 2021 - 13th Conference on Reversible Computation. :79-95

Nagoya, Japan Debugging Actor model Distributed computation Reversible computing [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
17

A Universal Reversible Turing Machine that Directly Simulates Reversible Counter Machines.
Morita, Kenichi
Computer Science Journal of Moldova. 2024, Vol. 32 Issue 3, p425-445. 21p.

TURING machines REVERSIBLE computing COMPUTERS MACHINERY SIGNS & symbols
Fachzeitschrift
Zu den Favoriten
18

DESIGN OF REVERSIBLE FULL ADDER OR SUBTRACTOR BASED ON EPOE EXPRESSIONS FOR COMPUTATIONAL APPLICATIONS.
RAMA KRISHNA REDDY, E. ; AASHRUTHA SAI PUSHPA, F. P. ; BALA NAGESWARI, G. G. ; et al.
i-Manager's Journal on Electronics Engineering; Sep2025, Vol. 15 Issue 4, p10-20, 11p

REVERSIBLE computing SEQUENTIAL circuits QUANTUM gates CONSERVATION of energy SUBTRACTION (Mathematics... DIGITAL electronics
Fachzeitschrift
Zu den Favoriten
19

Novel Design of Resource‐Constrained Quantum Reversible Logic Gates at Optimal Cost and Depth.
Prajapati, Mamtha ; Killana, Kalyan Babu ; Curreli, Nicola
Journal of Nanotechnology; 8/6/2025, Vol. 2025, p1-17, 17p

QUANTUM computing REVERSIBLE computing MATHEMATICAL optimizatio... QUANTUM gates CIRCUIT complexity NANOTECHNOLOGY
Fachzeitschrift
Zu den Favoriten
20

Efficient Design of Ternary Reversible T Flip-Flop Using Quantum Dot Cellular Automata.
Fattahi, Arash ; Sabbaghi-Nadooshan, Reza ; Moosazadeh, Tohid ; et al.
Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ); Aug2025, Vol. 50 Issue 15, p11927-11944, 18p

ELECTRONIC circuit desig... CELLULAR automata TERNARY system CONSERVATION of energy NANOELECTRONICS REVERSIBLE computing
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter