Sciweavers

3676 search results - page 240 / 736
» Scalable component abstractions
Sort
View
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
16 years 1 months ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...
160
Voted
INFOCOM
2008
IEEE
16 years 1 months ago
A Device-Independent Router Model
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
Roman Chertov, Sonia Fahmy, Ness B. Shroff
ICCCN
2007
IEEE
16 years 29 days ago
Design of a Network Service Architecture
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
Sivakumar Ganapathy, Tilman Wolf
PPOPP
2005
ACM
16 years 6 days ago
Revocable locks for non-blocking programming
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
Tim Harris, Keir Fraser
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 12 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler