PECS'21: The First Workshop on Performance and Energy-efficiency of Concurrent Systems.
Romolo MarottaFrancesco QuagliaPublished in: ICPE (2021)
Keyphrases
- energy efficiency
- concurrent systems
- power consumption
- energy consumption
- wireless sensor networks
- temporal logic
- distributed systems
- data center
- process algebra
- sensor networks
- energy efficient
- energy saving
- power management
- formal specification
- petri net
- model checking
- response time
- power saving
- energy management
- high performance computing
- energy aware
- routing protocol
- smart home
- traffic load
- energy conservation
- wireless sensor
- sensor nodes
- reduce the energy consumption
- data transmission
- base station
- intelligent systems
- battery powered
- packet delivery
- multi hop
- routing algorithm
- data collection
- user interface
- databases