Sciweavers

6518 search results - page 448 / 1304
» Distributed Individual-Based Simulation
Sort
View
WWW
2004
ACM
16 years 5 months ago
Modeling the growth of future web
The future Web can be imagined as a life network consisting of resource nodes and semantic relationship links between them. Any node has a life span from birth - adding it to the ...
Hai Zhuge, Xue Chen, Xiang Li
ICRA
2009
IEEE
100views Robotics» more  ICRA 2009»
15 years 11 months ago
Theoretical analysis of three bio-inspired plume tracking algorithms
— We derive the theoretical performance of three bio-inspired odor source localization algorithms (casting, surgespiral and surge-cast) in laminar wind flow. Based on the geomet...
Thomas Lochmatter, Alcherio Martinoli
IPPS
2009
IEEE
15 years 11 months ago
Deadlock prevention by turn prohibition in interconnection networks
Abstract—In this paper we consider the problem of constructing minimal cycle-breaking sets of turns for graphs that model communication networks, as a method to prevent deadlocks...
Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa
IPPS
2008
IEEE
15 years 11 months ago
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue...
IPPS
2008
IEEE
15 years 11 months ago
Portioned static-priority scheduling on multiprocessors
This paper proposes an efficient real-time scheduling algorithm for multiprocessor platforms. The algorithm is a derivative of the Rate Monotonic (RM) algorithm, with its basis on...
Shinpei Kato, Nobuyuki Yamasaki