Revisiting Dynamic Logic - A True Candidate for Energy-Efficient Cryogenic Operation in Nanoscaled Technologies.
Inbal StangerNoam RoknianNetanel ShavitYonatan ShoshanYoav WeizmanAdam TemanEdoardo CharbonAlexander FishPublished in: IEEE Trans. Circuits Syst. I Regul. Pap. (2024)
Keyphrases
- energy efficient
- dynamic logic
- wireless sensor networks
- energy consumption
- sensor networks
- data dissemination
- modal logic
- reasoning about actions
- base station
- energy efficiency
- multi hop
- imperative programs
- routing algorithm
- routing protocol
- multi core architecture
- data sets
- sensor nodes
- data gathering
- low cost
- data collection