Search

نمایش تعداد 1-6 از 6

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

نوع: Conference Paper

نویسنده : Cimatti, A.; Hunsberger, L.; Micheli, A.; Posenato, R.; Roveri, M.

ناشر: IEEE

سال: 2014

A Mechanism Design Approach to Resource Procurement in Cloud Computing

نوع: Journal Paper

نویسنده : Prasad, /A/. Siva; Rao, Smitha

ناشر: IEEE

سال: 2014

Fair Scheduling in Cellular Systems in the Presence of Noncooperative Mobiles

نوع: Journal Paper

نویسنده : Kavitha, V.; Altman, Eitan; El-Azouzi, Rachid; Sundaresan, R.

ناشر: IEEE

سال: 2014

Spiking brain models: Computation, memory and communication constraints for custom hardware implementation

نوع: Conference Paper

نویسنده : Lansner, A. , Hemani, A. , Farahini, N.

ناشر: IEEE

سال: 2014

Magnetic shielding of wireless power transfer systems

نوع: Conference Paper

نویسنده : Campi, Tommaso; Cruciani, Silvano; Feliziani, Mauro

ناشر: IEEE

سال: 2014

An Enforceable Scheme for Packet Forwarding Cooperation in Network-Coding Wireless Networks With Opportunistic Routing

نوع: Journal Paper

نویسنده : Tingting Chen; Sheng Zhong

ناشر: IEEE

سال: 2014

Search

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

A Mechanism Design Approach to Resource Procurement in Cloud Computing

Fair Scheduling in Cellular Systems in the Presence of Noncooperative Mobiles

Spiking brain models: Computation, memory and communication constraints for custom hardware implementation

Magnetic shielding of wireless power transfer systems

An Enforceable Scheme for Packet Forwarding Cooperation in Network-Coding Wireless Networks With Opportunistic Routing

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

A Mechanism Design Approach to Resource Procurement in Cloud Computing

Fair Scheduling in Cellular Systems in the Presence of Noncooperative Mobiles

Spiking brain models: Computation, memory and communication constraints for custom hardware implementation

Magnetic shielding of wireless power transfer systems

An Enforceable Scheme for Packet Forwarding Cooperation in Network-Coding Wireless Networks With Opportunistic Routing