Sciweavers

12741 search results - page 142 / 2549
» Editorial and call for papers
Sort
View
FASE
2010
Springer
16 years 1 months ago
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
16 years 1 months ago
Why Are Modalities Good for Interface Theories?
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
CEC
2009
IEEE
16 years 1 months ago
Modelling and simulation of granuloma formation in visceral leishmaniasis
— Visceral leishmaniasis is a parasitic disease that is usually fatal if untreated. Host resistance is thought to involve the accumulation of inflammatory cells into structures ...
Anton J. Flugge, Jon Timmis, Paul S. Andrews, John...
GLOBECOM
2009
IEEE
16 years 1 months ago
Hole Reshaping Routing in Large-Scale Mobile Ad-Hoc Networks
—Mobile ad-hoc networks (MANETs) usually contain sparse or even empty regions called holes. The local optimum problem will occur when routing packets meet holes in the network. I...
Peiqiang Li, Guojun Wang, Jie Wu, Hong-Chuan Yang
ICC
2009
IEEE
103views Communications» more  ICC 2009»
16 years 1 months ago
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks
- In this paper, we propose a distributed approach for the least constraining slot allocation scheme in all-optical TDM networks (LC) that was introduced in a previous work. The dr...
Hassan Zeineddine, Gregor von Bochmann