<--- Back to Details
First PageDocument Content
Constraint programming / Theoretical computer science / Computing / Wireless sensor network / Wireless networking / Applied mathematics / Satisfiability modulo theories / Sensor node / Constraint satisfaction / Mathematical optimization / Constraint
Date: 2017-09-02 14:08:49
Constraint programming
Theoretical computer science
Computing
Wireless sensor network
Wireless networking
Applied mathematics
Satisfiability modulo theories
Sensor node
Constraint satisfaction
Mathematical optimization
Constraint

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Download Document from Source Website

File Size: 696,39 KB

Share Document on Facebook

Similar Documents

ISSCCSESSION 7 / WIRELESS TRANSCEIVERSA 915MHz Asymmetric Radio Using Q-Enhanced Amplifier for a Fully Integrated 3×3×3mm3 Wireless Sensor Node with 20m Non-Line-of-Sight

ISSCCSESSION 7 / WIRELESS TRANSCEIVERSA 915MHz Asymmetric Radio Using Q-Enhanced Amplifier for a Fully Integrated 3×3×3mm3 Wireless Sensor Node with 20m Non-Line-of-Sight

DocID: 1uIfn - View Document

Node Wake-Up via OVSF-Coded Bloom Filters in Wireless Sensor Networks Mirco Sch¨onfeld and Martin Werner Ludwig-Maximilians-University Munich, Germany, ,

Node Wake-Up via OVSF-Coded Bloom Filters in Wireless Sensor Networks Mirco Sch¨onfeld and Martin Werner Ludwig-Maximilians-University Munich, Germany, ,

DocID: 1sVHo - View Document

Remote monitoring for quick response to emergencies Enardo 2000 Emergency Vent with Smart Wireless technology • Gain visibility that enables immediate response to potential emergencies • Improve Safety, Emissions Con

Remote monitoring for quick response to emergencies Enardo 2000 Emergency Vent with Smart Wireless technology • Gain visibility that enables immediate response to potential emergencies • Improve Safety, Emissions Con

DocID: 1ru6e - View Document

Wireless networking / Technology / Wireless sensor network / Computing / Computer networking / Sensor node / Data transmission / Sensors / Energy harvesting / DPM / Body area network / NODE

AN ADAPTIVE POWER MANAGEMENT SYSTEM FOR A 130nm BATTERY-LESS BODY SENSOR NETWORK NODE Yousef Shakhsheer, Benton Calhoun Dept. of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA Abstr

DocID: 1rqod - View Document

NED: An Efficient Noise-Tolerant Event and Event Boundary Detection Algorithm in Wireless Sensor Networks Guang Jin and Silvia Nittel Department of Spatial Information Science and Engineering University of Maine, Orono,

NED: An Efficient Noise-Tolerant Event and Event Boundary Detection Algorithm in Wireless Sensor Networks Guang Jin and Silvia Nittel Department of Spatial Information Science and Engineering University of Maine, Orono,

DocID: 1roXd - View Document