Sciweavers

11168 search results - page 128 / 2234
» Abstract State Processes
Sort
View
QOSIP
2005
Springer
15 years 10 months ago
Optimizing Routing Decisions Under Inaccurate Network State Information
Abstract. Maintaining accurate network state information in the Traffic Engineering Databases of each node along a network is extremely difficult. The BYPASS Based Routing (BBR) me...
Xavier Masip-Bruin, Sergio Sánchez-Ló...
INFOCOM
2000
IEEE
15 years 9 months ago
On the Aggregatability of Multicast Forwarding State
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
David Thaler, Mark Handley
129
Voted
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
15 years 3 months ago
Probabilistic collision state checker for crowded environments
Abstract— For path planning algorithms of robots it is important that the robot does not reach a state of inevitable collision. In crowded environments with many humans or robots...
Daniel Althoff, Matthias Althoff, Dirk Wollherr, M...
CSMR
2010
IEEE
14 years 11 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
DAC
1996
ACM
15 years 8 months ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...