Sciweavers

2355 search results - page 289 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
DCOSS
2011
Springer
14 years 6 months ago
Distributed local broadcasting algorithms in the physical interference model
—Given a set of sensor nodes V where each node wants to broadcast a message to all its neighbors that are within a certain broadcasting range, the local broadcasting problem is t...
Dongxiao Yu, Yuexuan Wang, Qiang-Sheng Hua, Franci...
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
16 years 1 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
CCGRID
2009
IEEE
16 years 1 months ago
Modeling Job Lifespan Delays in Volunteer Computing Projects
Volunteer Computing (VC) projects harness the power of computers owned by volunteers across the Internet to perform hundreds of thousands of independent jobs. In VC projects, the ...
Trilce Estrada, Michela Taufer, Kevin Reed
163
Voted
INFOCOM
2007
IEEE
16 years 1 months ago
Realistic Sensing Area Modeling
—Despite the well-known fact that sensing patterns in reality are highly irregular, researchers continue to develop protocols with simplifying assumptions about the sensing. For ...
Joengmin Hwang, Yu Gu, Tian He, Yongdae Kim
SPIN
2007
Springer
16 years 26 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...