Sciweavers

21430 search results - page 5 / 4286
» Abstract Effective Models
Sort
View
ICCS
2001
Springer
15 years 2 months ago
On the Effectiveness of D-BSP as a Bridging Model of Parallel Computation
This paper surveys and places into perspective a number of results concerning the D-BSP (Decomposable Bulk Synchronous Parallel) model of computation, a variant of the popular BSP ...
Gianfranco Bilardi, Carlo Fantozzi, Andrea Pietrac...
AROBOTS
2002
93views more  AROBOTS 2002»
14 years 10 months ago
Mathematical Model of Foraging in a Group of Robots: Effect of Interference
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
Kristina Lerman, Aram Galstyan
ICC
2007
IEEE
105views Communications» more  ICC 2007»
15 years 4 months ago
Effects of Channel Models and Rake Receiving Process on UWB-IR System Performance
Abstract— In ultra-wideband impulse radio (UWB-IR) systems, multipath-delayed received pulses may overlap if two consecutive multipaths arrive within less than the pulse duration...
Serhat Erküçük, Dong In Kim, Kyun...
ECAL
2007
Springer
15 years 2 months ago
Modelling the Effects of Colony Age on the Foraging Behaviour of Harvester Ants
Abstract. The colonies of certain species of ants, for example Pogonomyrmex barbatus, exhibit changes in behaviour as the colonies grow older, despite nearly all of the individual ...
Tom Diethe, Peter J. Bentley
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
15 years 7 months ago
Hybrid CEGAR: combining variable hiding and predicate abstraction
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta